diff options
Diffstat (limited to 'contrib/extraction/miniml.mli')
| -rw-r--r-- | contrib/extraction/miniml.mli | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/contrib/extraction/miniml.mli b/contrib/extraction/miniml.mli index 62960af7cc..63bceae5ef 100644 --- a/contrib/extraction/miniml.mli +++ b/contrib/extraction/miniml.mli @@ -77,9 +77,7 @@ type extraction_params = module type Mlpp_param = sig val globals : unit -> Idset.t - (* the bool arg is: should we rename in uppercase or not ? *) - (* the identifier set correspond to local bindings to avoid. *) - val pp_global : global_reference -> bool -> Idset.t option -> std_ppcmds + val pp_global : global_reference -> std_ppcmds end module type Mlpp = sig |