Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 5f7d7a5d authored by David Hauzar's avatar David Hauzar

Bugfix: querying a solver for counterexample.

parent 376132cd
......@@ -354,7 +354,7 @@ let print_prop_decl args info fmt k pr f = match k with
List.iter (fun f ->
fprintf str_formatter "%a" (print_fmla info) f;
let s = flush_str_formatter () in
fprintf fmt "%s" s;
fprintf fmt "%s " s;
) model_list;
fprintf fmt "))@]@\n";
end;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment