Commit cdae5e39 authored by Andrei Paskevich's avatar Andrei Paskevich

minor

parent 4546922c
......@@ -34,7 +34,7 @@ let exi vl (_,f) =
| Fbinop (Fimplies,g,f) ->
f_and g (descend f)
| Fapp (_,tl) ->
let marry acc v t = f_and_simp acc (f_app ps_equ [v;t]) in
let marry acc v t = f_and_simp acc (f_equ v t) in
List.fold_left2 marry f_true vl tl
| _ -> assert false
in
......
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