Commit ddfa2f2f authored by MARCHE Claude's avatar MARCHE Claude

fix model printing of function applications

parent cd1ec6e2
......@@ -282,7 +282,7 @@ and print_model_value_human fmt (v: model_value) =
| Float f -> print_float_human fmt f
| Boolean b -> fprintf fmt "%b" b
| Apply (s, lt) ->
fprintf fmt "[%s %a]" s (Pp.print_list Pp.space print_model_value_human) lt
fprintf fmt "(%s %a)" s (Pp.print_list Pp.space print_model_value_human) lt
| Array arr -> print_array_human fmt arr
| Record r -> print_record_human fmt r
| Bitvector s -> fprintf fmt "%s" s
......
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