From 979a23f8fcb65a1a6d6c5aac15e5b2e2714c92db Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 19 Dec 2002 10:29:19 +0000
Subject: maj

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

diff --git a/.depend b/.depend
index a1a3a7b0f3..fa02ae4dce 100644
--- a/.depend
+++ b/.depend
@@ -2380,11 +2380,11 @@ contrib/extraction/haskell.cmx: library/libnames.cmx \
     contrib/extraction/haskell.cmi 
 contrib/extraction/mlutil.cmo: library/libnames.cmi \
     contrib/extraction/miniml.cmi kernel/names.cmi library/nametab.cmi \
-    lib/pp.cmi contrib/extraction/table.cmi lib/util.cmi \
+    lib/pp.cmi parsing/printer.cmi contrib/extraction/table.cmi lib/util.cmi \
     contrib/extraction/mlutil.cmi 
 contrib/extraction/mlutil.cmx: library/libnames.cmx \
     contrib/extraction/miniml.cmi kernel/names.cmx library/nametab.cmx \
-    lib/pp.cmx contrib/extraction/table.cmx lib/util.cmx \
+    lib/pp.cmx parsing/printer.cmx contrib/extraction/table.cmx lib/util.cmx \
     contrib/extraction/mlutil.cmi 
 contrib/extraction/ocaml.cmo: library/libnames.cmi \
     contrib/extraction/miniml.cmi contrib/extraction/mlutil.cmi \
-- 
cgit v1.2.3