From 4dc7a3eb4ac669ead5ee4a1986c4a2310ffda911 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 19 Jan 2003 22:06:34 +0000
Subject: Restructuration interpréteur de tactique: plus d'évaluation partielle
 à la définition; suppression TacFunRec, VClosure, VFTactic et VContext;
 davantage de globalisation statique (notamment pour les tactiques
 mutuellement récursives); débogueur plus informatif

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3532 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/xml/xmlentries.ml4 | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'contrib/xml')

diff --git a/contrib/xml/xmlentries.ml4 b/contrib/xml/xmlentries.ml4
index 6988f789ee..bcfcbd2ff6 100644
--- a/contrib/xml/xmlentries.ml4
+++ b/contrib/xml/xmlentries.ml4
@@ -35,10 +35,10 @@ open Pcoq;;
 let wit_filename, rawwit_filename = Genarg.create_arg "filename"
 let filename = Pcoq.create_generic_entry "filename" rawwit_filename
 let _ = Tacinterp.add_genarg_interp "filename"
-  (fun ist x ->
+  (fun ist gl x ->
     (in_gen wit_filename
       (out_gen (wit_opt wit_string)
-	(Tacinterp.genarg_interp ist
+	(Tacinterp.genarg_interp ist gl
 	  (in_gen (wit_opt rawwit_string)
 	    (out_gen rawwit_filename x))))))
 
@@ -59,10 +59,10 @@ let _ =
 let wit_diskname, rawwit_diskname = Genarg.create_arg "diskname"
 let diskname = create_generic_entry "diskname" rawwit_diskname
 let _ = Tacinterp.add_genarg_interp "diskname"
-  (fun ist x ->
+  (fun ist gl x ->
     (in_gen wit_diskname
       (out_gen (wit_opt wit_string)
-	(Tacinterp.genarg_interp ist
+	(Tacinterp.genarg_interp ist gl
 	  (in_gen (wit_opt rawwit_string)
 	    (out_gen rawwit_diskname x))))))
 
-- 
cgit v1.2.3