Commit aea90019 authored by Martin Clochard's avatar Martin Clochard

simplify_trivial_quantification should not carry out aggressive simplifications

parent dae82758
......@@ -102,7 +102,7 @@ let rec fmla_quant sign f = function
vs::vsl, f
with Subst_found t ->
let f = t_subst_single vs t f in
vsl, fmla_simpl f
vsl, f
let rec fmla_remove_quant f =
match f.t_node with
......
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