From a546daa8617bb722e718674765664e446d6ae048 Mon Sep 17 00:00:00 2001
From: coq
Date: Thu, 17 Feb 2005 23:32:18 +0000
Subject: maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6730 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .depend | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.depend b/.depend
index b61cfd0f45..5708105595 100644
--- a/.depend
+++ b/.depend
@@ -3256,8 +3256,8 @@ contrib/omega/g_omega.cmx: lib/util.cmx tactics/tacinterp.cmx \
     proofs/tacexpr.cmx proofs/refiner.cmx parsing/pptactic.cmx lib/pp.cmx \
     parsing/pcoq.cmx lib/options.cmx parsing/egrammar.cmx \
     contrib/omega/coq_omega.cmx toplevel/cerrors.cmx 
-contrib/omega/omega.cmo: lib/util.cmi kernel/names.cmi library/nameops.cmi 
-contrib/omega/omega.cmx: lib/util.cmx kernel/names.cmx library/nameops.cmx 
+contrib/omega/omega.cmo: lib/util.cmi kernel/names.cmi 
+contrib/omega/omega.cmx: lib/util.cmx kernel/names.cmx 
 contrib/ring/g_quote.cmo: lib/util.cmi tactics/tacinterp.cmi \
     proofs/tacexpr.cmo proofs/refiner.cmi contrib/ring/quote.cmo \
     parsing/pptactic.cmi lib/pp.cmi parsing/pcoq.cmi lib/options.cmi \
-- 
cgit v1.2.3