8 files changed, 8 insertions, 8 deletions
diff --git a/contrib/dp/Dp.v b/contrib/dp/Dp.v
index db028a5ea2..47d67725f2 100644
--- a/contrib/dp/Dp.v
+++ b/contrib/dp/Dp.v
@@ -6,7 +6,7 @@ Require Export Classical.
 (* Zenon *)
 
 (*  Copyright 2004 INRIA  *)
-(*  $Id: zenon.v,v 1.6 2006-02-16 09:22:46 doligez Exp $  *)
+(*  $Id$  *)
 
 Lemma zenon_nottrue :
   (~True -> False).
diff --git a/contrib/dp/zenon.v b/contrib/dp/zenon.v
index 2ef9436755..502465c6be 100644
--- a/contrib/dp/zenon.v
+++ b/contrib/dp/zenon.v
@@ -1,5 +1,5 @@
 (*  Copyright 2004 INRIA  *)
-(*  $Id: zenon.v,v 1.6 2006-02-16 09:22:46 doligez Exp $  *)
+(*  $Id$  *)
 
 Require Export Classical.
 
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)
diff --git a/contrib/ring/LegacyRing.v b/contrib/ring/LegacyRing.v
index dc8635bdf9..ed1da9c56e 100644
--- a/contrib/ring/LegacyRing.v
+++ b/contrib/ring/LegacyRing.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id: Ring.v 5920 2004-07-16 20:01:26Z herbelin $ *)
+(* $Id$ *)
 
 Require Export Bool.
 Require Export LegacyRing_theory.
diff --git a/contrib/subtac/subtac_cases.ml b/contrib/subtac/subtac_cases.ml
index 5b8bb9c0f8..1bc5897c45 100644
--- a/contrib/subtac/subtac_cases.ml
+++ b/contrib/subtac/subtac_cases.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id: cases.ml 9399 2006-11-22 16:11:53Z herbelin $ *)
+(* $Id$ *)
 
 open Cases
 open Util
diff --git a/contrib/subtac/subtac_cases.mli b/contrib/subtac/subtac_cases.mli
index 02fe016d63..90989d2d31 100644
--- a/contrib/subtac/subtac_cases.mli
+++ b/contrib/subtac/subtac_cases.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: cases.mli 8741 2006-04-26 22:30:32Z herbelin $ i*)
+(*i $Id$ i*)
 
 (*i*)
 open Util
diff --git a/contrib/subtac/subtac_classes.ml b/contrib/subtac/subtac_classes.ml
index d652436802..0bff421383 100644
--- a/contrib/subtac/subtac_classes.ml
+++ b/contrib/subtac/subtac_classes.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: classes.mli 6748 2005-02-18 22:17:50Z herbelin $ i*)
+(*i $Id$ i*)
 
 open Pretyping
 open Evd
diff --git a/contrib/subtac/subtac_classes.mli b/contrib/subtac/subtac_classes.mli
index c621f1516f..9a6730454a 100644
--- a/contrib/subtac/subtac_classes.mli
+++ b/contrib/subtac/subtac_classes.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: classes.mli 6748 2005-02-18 22:17:50Z herbelin $ i*)
+(*i $Id$ i*)
 
 (*i*)
 open Names