diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2004-01-02 19:23:29 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2004-01-02 19:23:29 +0000 |
| commit | 0c7aecb88dc696f66f49f3bed54a037361a26b8d (patch) | |
| tree | 32bde8a45b8881d3d121fd39cc1270980f596096 /byterun/extern.c | |
| parent | 7ba8c1ca1d044232ed6d81d04a8c46800cf15097 (diff) | |
depollution suite (et fin?) (PR#1914 et PR#1956)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6047 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/extern.c')
| -rw-r--r-- | byterun/extern.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/byterun/extern.c b/byterun/extern.c index 434412b3d..2faeb9e85 100644 --- a/byterun/extern.c +++ b/byterun/extern.c @@ -376,10 +376,10 @@ static void extern_rec(value v) } return; } - if ((char *) v >= code_area_start && (char *) v < code_area_end) { + if ((char *) v >= caml_code_area_start && (char *) v < caml_code_area_end) { if (!extern_closures) extern_invalid_argument("output_value: functional value"); - writecode32(CODE_CODEPOINTER, (char *) v - code_area_start); + writecode32(CODE_CODEPOINTER, (char *) v - caml_code_area_start); writeblock((char *) caml_code_checksum(), 16); return; } |