Fix warning

kind2-mc · Jan 11, 2024 · 3f7874a · 3f7874a
1 parent 172b0ef
commit 3f7874a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/invgen/invGen.ml b/src/invgen/invGen.ml
@@ -696,7 +696,7 @@ module Make (Graph : GraphSig) : Out = struct
 
 
   (** Invariant generation entry point. *)
-  let main max_depth top_only modular two_state input_sys aparam sys =
+  let main max_depth top_only _modular two_state input_sys aparam sys =
     try (
 
       (* Format.printf "Starting (%b)@.@." two_state ; *)