Commit 429debf2 authored by Martin Clochard's avatar Martin Clochard Committed by Guillaume Melquiond
Browse files

simplify_trivial_quantification should not carry out aggressive simplifications

parent 82f4a72f
......@@ -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
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