diff --git a/src/bin/common/solving_loop.ml b/src/bin/common/solving_loop.ml
index 90489d1f8..3746d9a99 100644
--- a/src/bin/common/solving_loop.ml
+++ b/src/bin/common/solving_loop.ml
@@ -591,7 +591,8 @@ let main () =
         else
           begin
             (* TODO: add the location of the statement. *)
-            recoverable_error "Model generation disabled (try --produce-models)";
+            recoverable_error
+              "Model generation disabled (try --produce-models)";
             st
           end