diff options
| -rwxr-xr-x | contrib/omega/omega.ml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/contrib/omega/omega.ml b/contrib/omega/omega.ml index 23236bc3cc..33ca60cb24 100755 --- a/contrib/omega/omega.ml +++ b/contrib/omega/omega.ml @@ -225,9 +225,6 @@ let map_eq_afine f e = let negate_eq = map_eq_afine (fun x -> -x) -let opposite x y = - map_eq_linear (fun x -> - x) x.body = y.body & x.constant = y.constant - let rec sum p0 p1 = match (p0,p1) with | ([], l) -> l | (l, []) -> l | (((x1::l1) as l1'), ((x2::l2) as l2')) -> @@ -409,7 +406,7 @@ let redundancy_elimination system = let accu_ineq = ref [] in iter (fun p0 p1 -> match (p0,p1) with - | (e, (Some x, Some y)) when opposite x y -> + | (e, (Some x, Some y)) when x.constant = y.constant -> let id=new_id () in add_event (MERGE_EQ(id,x,y.id)); push {id=id; kind=EQUA; body=x.body; constant=x.constant} accu_eq |