Fix style

OCamlPro · Sep 29, 2023 · d5eddc0 · d5eddc0
1 parent f1381aa
commit d5eddc0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/lib/reasoners/bitv.ml b/src/lib/reasoners/bitv.ml
@@ -1353,7 +1353,8 @@ module Shostak(X : ALIEN) = struct
     | _, [] -> Bytes.fill buf pos sz '0'
     | [], _ -> Bytes.fill buf pos sz '1'
     | _, _ ->
-      (* Prefer searching where there are more candidates, i.e. less constraints. *)
+      (* Prefer searching where there are more candidates, i.e. less
+         constraints. *)
       let x, cx, y, cy =
         if nt < nf then t, '1', f, '0' else f, '0', t, '1'
       in