diff options
Diffstat (limited to 'stdlib/parsing.mli')
| -rw-r--r-- | stdlib/parsing.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/stdlib/parsing.mli b/stdlib/parsing.mli index 4e424d02b..8bb403858 100644 --- a/stdlib/parsing.mli +++ b/stdlib/parsing.mli @@ -70,7 +70,9 @@ type parse_tables = tablesize : int; table : string; check : string; - error_function : string -> unit } + error_function : string -> unit; + names_const : string; + names_block : string } exception YYexit of Obj.t |