diff options
Diffstat (limited to 'parsing/pcoq.mli')
-rw-r--r-- | parsing/pcoq.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/pcoq.mli b/parsing/pcoq.mli index cbf416acc..71657fafa 100644 --- a/parsing/pcoq.mli +++ b/parsing/pcoq.mli @@ -46,6 +46,8 @@ val grammar_extend : val remove_grammars : int -> unit +val reinit_levels : unit -> unit + val camlp4_verbosity : bool -> ('a -> unit) -> 'a -> unit (* Parse a string *) |