style

bclement-ocp · Jun 3, 2024 · 378e691 · 378e691
1 parent 1ae82f9
commit 378e691
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/bin/common/solving_loop.ml b/src/bin/common/solving_loop.ml
@@ -667,7 +667,9 @@ let main () =
       st
     ) else
       let contents = `Optimize (term, is_max) in
-      let stmt = { Typer_Pipe.id; contents; loc; attrs = []; implicit = false } in
+      let stmt =
+        { Typer_Pipe.id; contents; loc; attrs = []; implicit = false }
+      in
       let cnf =
         D_cnf.make (State.get State.logic_file st).loc
           (State.get solver_ctx_key st).ctx stmt