From e1452f164283aa5f4092a3a79e97cee2975af381 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 21 Feb 2005 00:39:25 +0000
Subject: Pas de dépendance en Omega

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6764 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/romega/ROmega.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/contrib/romega/ROmega.v b/contrib/romega/ROmega.v
index b3895b2a5a..19933873be 100644
--- a/contrib/romega/ROmega.v
+++ b/contrib/romega/ROmega.v
@@ -6,6 +6,5 @@
 
  *************************************************************************)
 
-Require Import Omega.
 Require Import ReflOmegaCore.
 
-- 
cgit v1.2.3