From e278df43db70bbda7d9f4b95d5662a14919d64c1 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 14 Nov 2002 02:02:14 +0000
Subject: maj

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

diff --git a/.depend b/.depend
index 5a86137cbb..a547d22cea 100644
--- a/.depend
+++ b/.depend
@@ -151,8 +151,6 @@ pretyping/inductiveops.cmi: kernel/declarations.cmi kernel/environ.cmi \
     pretyping/evd.cmi kernel/names.cmi kernel/sign.cmi kernel/term.cmi 
 pretyping/instantiate.cmi: kernel/environ.cmi pretyping/evd.cmi \
     kernel/names.cmi kernel/sign.cmi kernel/term.cmi 
-pretyping/multcase.cmi: kernel/environ.cmi pretyping/evarutil.cmi \
-    pretyping/evd.cmi kernel/names.cmi pretyping/rawterm.cmi kernel/term.cmi 
 pretyping/pattern.cmi: kernel/environ.cmi pretyping/evd.cmi \
     library/libnames.cmi kernel/names.cmi library/nametab.cmi \
     pretyping/rawterm.cmi kernel/sign.cmi kernel/term.cmi 
-- 
cgit v1.2.3