Use context for program printing

yannbolliger · yannbolliger · commit 1fb1ca833c6d · 2021-05-19T14:11:05.000+02:00
diff --git a/src/main/scala/inox/Main.scala b/src/main/scala/inox/Main.scala
@@ -261,7 +261,7 @@ object Main extends MainHelpers {
 
       if (ctx.options.findOptionOrDefault(optPrintProgram)) {
         ctx.reporter.info(s"Program in $file:\n\n")
-        ctx.reporter.info(program)
+        ctx.reporter.info(program.asString(ctx))
       }
 
       exprOpt.foreach { expr =>

Original file line number	Diff line number	Diff line change
`@@ -261,7 +261,7 @@ object Main extends MainHelpers {`
`261`	`261`
`262`	`262`	`if (ctx.options.findOptionOrDefault(optPrintProgram)) {`
`263`	`263`	`ctx.reporter.info(s"Program in $file:\n\n")`
`264`		`- ctx.reporter.info(program)`
	`264`	`+ ctx.reporter.info(program.asString(ctx))`
`265`	`265`	`}`
`266`	`266`
`267`	`267`	`exprOpt.foreach { expr =>`