diff --git a/src/lib/frontend/models.ml b/src/lib/frontend/models.ml
index 756e75a77f..0454b12e08 100644
--- a/src/lib/frontend/models.ml
+++ b/src/lib/frontend/models.ml
@@ -540,7 +540,7 @@ let output_concrete_model fmt m =
       pp_x fmt records m.constants;
 
     (* Arrays *)
-(*     SmtlibCounterExample.output_arrays_counterexample fmt m.arrays; *)
+    (*     SmtlibCounterExample.output_arrays_counterexample fmt m.arrays; *)
 
-  Printer.print_fmt fmt "@]@,)";
-end
+    Printer.print_fmt fmt "@]@,)";
+  end