Commit 40a0c6d8 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Use equality when possible.

parent e03b0375
......@@ -248,7 +248,7 @@ let rec print_fmla info defs fmt f =
let c2 = constant_value defs t2 in
fprintf fmt "%a in [%s,%s]" term t1 c2 c2
with Not_found ->
fprintf fmt "%a - %a in [0,0]" term t1 term t2
fprintf fmt "%a = %a" term t1 term t2
| Tapp (ls, [t1;t2]) when Mls.mem ls info.info_ops_of_rel ->
let s,op,rev_op = try Mls.find ls info.info_ops_of_rel
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment