From 7da1f2925cd7c355d38f5cfac7d5d3195f6191e9 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 22 Jan 2003 01:22:34 +0000
Subject: Extraction des modules, enfin !

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

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

diff --git a/contrib/extraction/haskell.mli b/contrib/extraction/haskell.mli
index be60cf1c1..062b236ca 100644
--- a/contrib/extraction/haskell.mli
+++ b/contrib/extraction/haskell.mli
@@ -14,6 +14,7 @@ open Miniml
 
 val keywords : Idset.t
 
-val preamble : extraction_params -> Idset.t -> bool * bool * bool -> std_ppcmds
+val preamble : 
+  extraction_params -> module_path list -> bool * bool * bool -> std_ppcmds
 
 module Make : functor(P : Mlpp_param) -> Mlpp
-- 
cgit v1.2.3