remove last print stmt from debugging benchmark executor

gradual-verification · Nov 16, 2023 · 02f885f · 02f885f
1 parent e0116a0
commit 02f885f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/main/scala/gvc/benchmarking/BenchmarkExecutor.scala b/src/main/scala/gvc/benchmarking/BenchmarkExecutor.scala
@@ -216,7 +216,6 @@ object BenchmarkExecutor {
           s"The file doesn't include an assignment of the form 'int stress = ...'."
         )
       }
-      println(verifiedSource)
       val injectedSource = injectStress(verifiedSource)
       Files.writeString(tempSource, injectedSource)
       Files.deleteIfExists(tempBinary)