diff options
Diffstat (limited to 'contrib/extraction/haskell.mli')
-rw-r--r-- | contrib/extraction/haskell.mli | 3 |
1 files changed, 2 insertions, 1 deletions
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 |