diff options
Diffstat (limited to 'stdlib/lexing.ml')
| -rw-r--r-- | stdlib/lexing.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/lexing.ml b/stdlib/lexing.ml index 1899f78d8..0211144ef 100644 --- a/stdlib/lexing.ml +++ b/stdlib/lexing.ml @@ -57,8 +57,9 @@ type lex_tables = lex_check_code : string; lex_code: string;} -external c_engine: lex_tables -> int -> lexbuf -> int = "lex_engine" -external c_new_engine: lex_tables -> int -> lexbuf -> int = "new_lex_engine" +external c_engine : lex_tables -> int -> lexbuf -> int = "caml_lex_engine" +external c_new_engine : lex_tables -> int -> lexbuf -> int + = "caml_new_lex_engine" let engine tbl state buf = let result = c_engine tbl state buf in |