From 21a985b7bbd6160b5b7b12992e810191cb4dfd76 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 29 Dec 2004 12:09:14 +0000
Subject: Bug transformation assert dans commit précédent

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6522 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/omega/omega.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/omega/omega.ml b/contrib/omega/omega.ml
index 4eaab67b2a..84239e03c0 100755
--- a/contrib/omega/omega.ml
+++ b/contrib/omega/omega.ml
@@ -618,7 +618,7 @@ let negation (eqs,ineqs) =
                let {body=ne;constant=c} ,kind = normal e in
                Hashtbl.add table (ne,c) (kind,e)) diseq;
   List.iter (fun e ->
-               assert (e.kind <> EQUA);
+               assert (e.kind = EQUA);
                let {body=ne;constant=c},kind = normal e in
                try 
 		 let (kind',e') = Hashtbl.find table (ne,c) in
-- 
cgit v1.2.3