From c5dbc080483a0f9942aee38748586727a27f37bf Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 13 Feb 2004 00:02:20 +0000
Subject: maj

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

diff --git a/.depend b/.depend
index 25e93bb811..900d1953b8 100644
--- a/.depend
+++ b/.depend
@@ -767,8 +767,8 @@ lib/system.cmo: config/coq_config.cmi lib/pp.cmi lib/util.cmi lib/system.cmi
 lib/system.cmx: config/coq_config.cmx lib/pp.cmx lib/util.cmx lib/system.cmi 
 lib/tlm.cmo: lib/gmap.cmi lib/gset.cmi lib/tlm.cmi 
 lib/tlm.cmx: lib/gmap.cmx lib/gset.cmx lib/tlm.cmi 
-lib/util.cmo: lib/pp.cmi lib/util.cmi 
-lib/util.cmx: lib/pp.cmx lib/util.cmi 
+lib/util.cmo: lib/pp.cmi lib/util.cmi lib/util.cmi 
+lib/util.cmx: lib/pp.cmx lib/util.cmx lib/util.cmi 
 library/declare.cmo: library/decl_kinds.cmo kernel/declarations.cmi \
     library/dischargedhypsmap.cmi kernel/entries.cmi kernel/environ.cmi \
     library/global.cmi library/impargs.cmi kernel/indtypes.cmi \
-- 
cgit v1.2.3