diff options
Diffstat (limited to 'stdlib/parsing.ml')
| -rw-r--r-- | stdlib/parsing.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/parsing.ml b/stdlib/parsing.ml index b78331152..762128244 100644 --- a/stdlib/parsing.ml +++ b/stdlib/parsing.ml @@ -73,7 +73,8 @@ type parser_output = | Call_error_function (* to avoid warnings *) -let _ = [Read_token; Raise_parse_error; Grow_stacks_1; Grow_stacks_2; Compute_semantic_action; Call_error_function] +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 |