From 124016815a5a38dfebee75451721ae13bca81959 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 1 Apr 2008 14:45:20 +0000
Subject: Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient
 pas correctes

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10739 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/interface/depends.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'contrib/interface')

diff --git a/contrib/interface/depends.ml b/contrib/interface/depends.ml
index 39eaa0b98b..c5f8509759 100644
--- a/contrib/interface/depends.ml
+++ b/contrib/interface/depends.ml
@@ -280,7 +280,7 @@ let rec depends_of_gen_tactic_expr depends_of_'constr depends_of_'ind depends_of
     | TacExact          c
     | TacExactNoCheck   c
     | TacVmCastNoCheck  c  -> depends_of_'constr c acc
-    | TacApply (_, cb) -> depends_of_'constr_with_bindings cb acc
+    | TacApply (_, _, cb) -> depends_of_'constr_with_bindings cb acc
     | TacElim (_, cwb, cwbo) ->
 	depends_of_'constr_with_bindings cwb
 	  (Option.fold_right depends_of_'constr_with_bindings cwbo acc)
-- 
cgit v1.2.3