InvGen: Make modular argument truly mean modular analysis

kind2-mc · Jan 11, 2024 · 6c64112 · 6c64112
1 parent adb898f
commit 6c64112
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/invgen/invGen.ml b/src/invgen/invGen.ml
@@ -836,8 +836,9 @@ let run_main eq_cond eq_main main two_state in_sys param sys =
     ) (
       Flags.Invgen.top_only ()
     ) (
-      Flags.modular () |> not
-    ) two_state in_sys param sys
+      Flags.modular ()
+    )
+    two_state in_sys param sys
     |> ignore ;
     exit ExitCodes.success