genc option should be passed to preprocessing phase

33f6126a · Regis Blanc · 82807082 · 33f6126a
Commit 33f6126a authored 9 years ago by Regis Blanc
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -185,8 +185,8 @@ object Main {
    } else {
      val pipeBegin: Pipeline[List[String], Program] =
        ClassgenPhase andThen
-          ExtractionPhase andThen
+        ExtractionPhase andThen
-          new PreprocessingPhase
+        new PreprocessingPhase(genc = gencF)
      val verification =
        VerificationPhase andThen