From 163016f59619fd2c500aa5a5117dfa49951d4f0a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 27 Dec 2004 10:19:12 +0000
Subject: Remplacement du coeur d'omega (omega.ml) par la version plus générale
 utilisée par romega (omega2.ml, qui, à l'occassion, disparaît sous ce nom)

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

diff --git a/Makefile b/Makefile
index 93e98d02b1..188b1bc282 100644
--- a/Makefile
+++ b/Makefile
@@ -239,7 +239,7 @@ OMEGACMO=\
   contrib/omega/g_omega.cmo 
 
 ROMEGACMO=\
-  contrib/romega/omega2.cmo contrib/romega/const_omega.cmo \
+  contrib/romega/const_omega.cmo \
   contrib/romega/refl_omega.cmo contrib/romega/g_romega.cmo
 
 RINGCMO=\
-- 
cgit v1.2.3