diff options
Diffstat (limited to 'contrib/extraction/ocaml.mli')
| -rw-r--r-- | contrib/extraction/ocaml.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/extraction/ocaml.mli b/contrib/extraction/ocaml.mli index e9faa1a0a9..3c39348367 100644 --- a/contrib/extraction/ocaml.mli +++ b/contrib/extraction/ocaml.mli @@ -20,7 +20,6 @@ val current_module : identifier option ref val collapse_type_app : ml_type list -> ml_type list -val string : string -> std_ppcmds val open_par : bool -> std_ppcmds val close_par : bool -> std_ppcmds val pp_abst : identifier list -> std_ppcmds |