Commit e6f2f3ff authored by Martin Clochard's avatar Martin Clochard

split: minor (prevents undesired simplifications)

parent 66d82e9f
......@@ -338,8 +338,8 @@ let rec split_core sp f =
let cond = if ro then fold_cond cond else cond in
let fcl t = - t_forall_close_simp vl [] t in
let ecl t = - t_exists_close_simp vl [] t in
let ps cond f = fcl (t_implies_simp cond f) in
let ng cond f = ecl (t_and_simp cond f) in
let ps cond f = fcl (t_implies cond f) in
let ng cond f = ecl (t_and cond f) in
let ngt _ a = fcl (t_not a) and tag _ a = ecl a in
let pos = pos ++ bimap ngt ps cond sf.pos in
let neg = neg ++ bimap tag ng cond sf.neg 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