Commit 3e839ee4 authored by David Hauzar's avatar David Hauzar
Browse files

Comments in a query for counterexample removed.

parent bc65c8d9
......@@ -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 "@\n;; %s@\n%s" s s;
fprintf fmt "%s" s;
) model_list;
fprintf fmt "))@]@\n";
Supports Markdown
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