Style

OCamlPro · Dec 12, 2023 · 21639c6 · 21639c6
1 parent cf22aef
commit 21639c6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/lib/reasoners/satml.ml b/src/lib/reasoners/satml.ml
@@ -1622,7 +1622,8 @@ module Make (Th : Theory.S) : SAT_ML with type th = Th.t = struct
         let lvl = a.var.level in
         assert (lvl <> 0);
         begin
-          if not (Options.get_minimal_bj ()) then cancel_until env (env.decision_lvl_at_query_start)
+          if not (Options.get_minimal_bj ()) then
+            cancel_until env (env.decision_lvl_at_query_start)
           else if a.is_true || a.neg.is_true then cancel_until env (lvl - 1)
         end;
         a.var.vpremise <- init;