Format

OCamlPro · Sep 28, 2023 · 2c2b300 · 2c2b300
1 parent 52532f4
commit 2c2b300
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
@@ -104,7 +104,7 @@ module Make (Th : Theory.S) : Sat_solver_sig.S = struct
   exception Unsat of Explanation.t
   exception I_dont_know of t
 
-  let i_dont_know env ur = 
+  let i_dont_know env ur =
     raise (I_dont_know {env with unknown_reason = Some ur})
 
   exception IUnsat of t * Explanation.t