diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index b1e898b7d8b0f3e7a3230a3deebfe5f8fe58aa03..c429165e81ad73d9c23a22b060f3cf86b0eb9704 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -3,7 +3,6 @@
 package leon
 
 import leon.utils._
-import leon.verification.VerificationReport
 
 object Main {
 
@@ -31,7 +30,8 @@ object Main {
       invariant.engine.InferInvariantsPhase,
       laziness.LazinessEliminationPhase,
       genc.GenerateCPhase,
-      genc.CFileOutputPhase)
+      genc.CFileOutputPhase
+    )
   }
 
   // Add whatever you need here.