From 41caeae1003a24dd623aabe2907940d3151f1151 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 28 Nov 2002 02:27:12 +0000
Subject: Reorganisation du pretty-print: - Dfix sans rename_global - question
 du renommage - code cleanup (plein)

Encore a finir: bug modules/qualification et syntax records


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3321 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/extraction/scheme.mli | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'contrib/extraction/scheme.mli')

diff --git a/contrib/extraction/scheme.mli b/contrib/extraction/scheme.mli
index 51fac4fb7..f39afd34f 100644
--- a/contrib/extraction/scheme.mli
+++ b/contrib/extraction/scheme.mli
@@ -17,7 +17,8 @@ open Nametab
 
 val keywords : Idset.t
 
-val preamble : extraction_params -> Idset.t -> bool * bool * bool -> std_ppcmds
+val preamble : 
+  extraction_params -> identifier list -> bool * bool * bool -> std_ppcmds
 
 module Make : functor(P : Mlpp_param) -> Mlpp
 
-- 
cgit v1.2.3