Style

OCamlPro · Nov 17, 2023 · 8e45db1 · 8e45db1
1 parent a1fc5c0
commit 8e45db1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/lib/reasoners/satml_frontend.ml b/src/lib/reasoners/satml_frontend.ml
@@ -1359,8 +1359,8 @@ module Make (Th : Theory.S) : Sat_solver_sig.S = struct
               calling unsat function *)
            i_dont_know env (Timeout Assume)
          | Util.Step_limit_reached _ ->
-           (* When reaching the step limit on an assume, we do not want to answer
-              'unknown' right away. *)
+           (* When reaching the step limit on an assume, we do not want to
+              answer 'unknown' right away. *)
            env
 
   (* instrumentation of relevant exported functions for profiling *)