diff options
Diffstat (limited to 'contrib/extraction/ocaml.mli')
| -rw-r--r-- | contrib/extraction/ocaml.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/contrib/extraction/ocaml.mli b/contrib/extraction/ocaml.mli index 2a9170bb0..5304199b7 100644 --- a/contrib/extraction/ocaml.mli +++ b/contrib/extraction/ocaml.mli @@ -20,8 +20,6 @@ open Table val current_module : identifier option ref val cons_cofix : Refset.t ref -val collapse_type_app : ml_type list -> ml_type list - val open_par : bool -> std_ppcmds val close_par : bool -> std_ppcmds val pp_abst : identifier list -> std_ppcmds |