The warning has to be a smt-lib comment

OCamlPro · Jul 26, 2023 · fab882d · fab882d
1 parent deff8c3
commit fab882d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/frontend/models.ml b/src/lib/frontend/models.ml
@@ -483,7 +483,7 @@ let pp_constant ppf (_, t) =
 let output_concrete_model fmt props ~functions ~constants ~arrays =
   if ModelMap.(is_suspicious functions || is_suspicious constants
                || is_suspicious arrays) then
-    Format.fprintf fmt "This model is a best-effort. It includes symbols
+    Format.fprintf fmt "; This model is a best-effort. It includes symbols
         for which model generation is known to be incomplete. @.";
 
   Format.fprintf fmt "@[<v 2>(";