diff options
Diffstat (limited to 'stdlib/parsing.ml')
| -rw-r--r-- | stdlib/parsing.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stdlib/parsing.ml b/stdlib/parsing.ml index 55a8f53aa..a10ffe2c1 100644 --- a/stdlib/parsing.ml +++ b/stdlib/parsing.ml @@ -74,6 +74,9 @@ type parser_output = | Compute_semantic_action | Call_error_function +(* to avoid warnings *) +let _ = [Read_token; Raise_parse_error; Grow_stacks_1; Grow_stacks_2; Compute_semantic_action; Call_error_function] + external parse_engine : parse_tables -> parser_env -> parser_input -> Obj.t -> parser_output = "caml_parse_engine" |