From c8701d2a5b452a2598f3642c08bd189c0cee9efb Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 14 Apr 2008 22:42:04 +0000
Subject: oubli sur 10790

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

diff --git a/contrib/interface/depends.ml b/contrib/interface/depends.ml
index d1527c58ad..d2b94b39ea 100644
--- a/contrib/interface/depends.ml
+++ b/contrib/interface/depends.ml
@@ -369,7 +369,7 @@ let rec depends_of_gen_tactic_expr depends_of_'constr depends_of_'ind depends_of
   and depends_of_tac_arg ta acc = match ta with
     | TacDynamic (_,d)  -> failwith "Don't know what to do with a Dyn in tac_arg"
     | TacVoid           -> acc
-    | MetaIdArg  (_,s)  -> failwith "Don't know what to do with a MetaIdArg in tac_arg"
+    | MetaIdArg  _      -> failwith "Don't know what to do with a MetaIdArg in tac_arg"
     | ConstrMayEval  me -> failwith "TODO: depends_of_tac_arg of a ConstrMayEval"
     | IntroPattern   _  -> acc
     | Reference     ltc -> acc (* TODO: This assumes the "ltac constant" cannot somehow refer to a named object... *)
-- 
cgit v1.2.3