Remove warning

OCamlPro · Nov 17, 2023 · 3684a35 · 3684a35
1 parent aa5cefd
commit 3684a35
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/reasoners/satml_frontend.ml b/src/lib/reasoners/satml_frontend.ml
@@ -1357,7 +1357,7 @@ module Make (Th : Theory.S) : Sat_solver_sig.S = struct
            (* don't attempt to compute a model if timeout before
               calling unsat function *)
            i_dont_know env (Timeout Assume)
-         | Util.Step_limit_reached i ->
+         | Util.Step_limit_reached _ ->
            env
 
   (* instrumentation of relevant exported functions for profiling *)