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 8df008c5c..2b4d93ddb 100644 --- a/stdlib/parsing.ml +++ b/stdlib/parsing.ml @@ -78,6 +78,9 @@ external parse_engine : parse_tables -> parser_env -> parser_input -> Obj.t -> parser_output = "caml_parse_engine" +external set_trace: bool -> bool + = "caml_set_parser_trace" + let env = { s_stack = Array.create 100 0; v_stack = Array.create 100 (Obj.repr ()); |