linter

OCamlPro · Apr 2, 2024 · 153423e · 153423e
1 parent 45e7a27
commit 153423e
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 5 deletions.
diff --git a/src/lib/reasoners/satml.ml b/src/lib/reasoners/satml.ml
@@ -656,7 +656,8 @@ module Make (Th : Theory.S) : SAT_ML with type th = Th.t = struct
   (* annule tout jusqu'a lvl *exclu*  *)
   let cancel_until env lvl =
     P.debug (fun k ->
-        k"cancel until level %d (current level is %d)" lvl (decision_level env));
+        k"cancel until level %d (current level is %d)" lvl
+          (decision_level env));
     cancel_ff_lvls_until env lvl;
     let repush = ref [] in
     if decision_level env > lvl then begin

diff --git a/src/lib/reasoners/shostak.ml b/src/lib/reasoners/shostak.ml
@@ -103,9 +103,10 @@ struct
       let pp_index ppf i = Fmt.pf ppf "<%d" i in
       let pp_binding ppf (p, v) = Fmt.pf ppf "%a |-> %a" print p print v in
       P.debug (fun k -> k"%s subst:@ %a" msg
-                  Fmt.(iter_bindings List.iteri (pair ~sep:(const string ") ")
-                                                   pp_index pp_binding) |> box) sbs
-              )
+                  Fmt.(iter_bindings List.iteri
+                         (pair ~sep:(const string ") ") pp_index pp_binding)
+                       |> box)
+                  sbs)
 
     let debug_abstraction_result oa ob a b acc =
       let pp_index ppf i = Fmt.pf ppf "(%d)" i in
@@ -117,7 +118,8 @@ struct
                    selector elimination result:@ @[<v 2>%a@]@]"
                   CX.print oa CX.print ob
                   CX.print a CX.print b
-                  Fmt.(iter_bindings List.iteri (pair ~sep:sp pp_index pp_binding) |> box)
+                  Fmt.(iter_bindings List.iteri
+                         (pair ~sep:sp pp_index pp_binding) |> box)
                   acc
               )