summaryrefslogtreecommitdiff
path: root/stdlib/parsing.ml
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2004-01-01 16:42:43 +0000
committerDamien Doligez <damien.doligez-inria.fr>2004-01-01 16:42:43 +0000
commit5a678d29f58926a5cd7db0c9121c69cb603a77f9 (patch)
treec8157238e17990d5d90f9eeb1c08506e253593bb /stdlib/parsing.ml
parent331b2d89c3dc4fb7e1b51276a5a9e37a6c8c8b3a (diff)
downloadocaml-5a678d29f58926a5cd7db0c9121c69cb603a77f9.tar.gz
depollution suite (PR#1914 et PR#1956)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6045 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/parsing.ml')
-rw-r--r--stdlib/parsing.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/parsing.ml b/stdlib/parsing.ml
index b1f081a56b..8df008c5cb 100644
--- a/stdlib/parsing.ml
+++ b/stdlib/parsing.ml
@@ -76,7 +76,7 @@ type parser_output =
external parse_engine :
parse_tables -> parser_env -> parser_input -> Obj.t -> parser_output
- = "parse_engine"
+ = "caml_parse_engine"
let env =
{ s_stack = Array.create 100 0;