diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2004-01-04 15:50:43 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2004-01-04 15:50:43 +0000 |
| commit | ba3f92d0ab9ee875e927ffc5c678bcc5641d40b3 (patch) | |
| tree | 06508891efdb84c2ef1a9c02711e561f6d421a42 | |
| parent | 45f8229a3051c7fbc00a18fd0759de6aa4fca118 (diff) | |
PR#2020
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6057 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | bytecomp/symtable.ml | 4 | ||||
| -rw-r--r-- | stdlib/sys.ml | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/bytecomp/symtable.ml b/bytecomp/symtable.ml index 62a79c75f..a7a58922b 100644 --- a/bytecomp/symtable.ml +++ b/bytecomp/symtable.ml @@ -117,12 +117,12 @@ let output_primitive_table outchan = fprintf outchan "extern long %s();\n" prim.(i) done; fprintf outchan "typedef long (*primitive)();\n"; - fprintf outchan "primitive builtin_cprim[] = {\n"; + fprintf outchan "primitive caml_builtin_cprim[] = {\n"; for i = 0 to Array.length prim - 1 do fprintf outchan " %s,\n" prim.(i) done; fprintf outchan " (primitive) 0 };\n"; - fprintf outchan "char * names_of_builtin_cprim[] = {\n"; + fprintf outchan "char * caml_names_of_builtin_cprim[] = {\n"; for i = 0 to Array.length prim - 1 do fprintf outchan " \"%s\",\n" prim.(i) done; diff --git a/stdlib/sys.ml b/stdlib/sys.ml index 0db0a29fb..4afaf8291 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.ml @@ -78,4 +78,4 @@ let catch_break on = (* OCaml version string, must be in the format described in sys.mli. *) -let ocaml_version = "3.07+12 (2004-01-03)";; +let ocaml_version = "3.07+13 (2004-01-04)";; |