diff options
| -rw-r--r-- | bytecomp/emitcode.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bytecomp/emitcode.ml b/bytecomp/emitcode.ml index 9b021977a..e03a20dbc 100644 --- a/bytecomp/emitcode.ml +++ b/bytecomp/emitcode.ml @@ -250,7 +250,7 @@ let rec emit = function else (out opPUSHENVACC; out_int (n+1)); emit c | Kpush :: Kgetglobal id :: Kgetfield n :: c -> - out opPUSHGETGLOBALFIELD; slot_for_getglobal id; out n; emit c + out opPUSHGETGLOBALFIELD; slot_for_getglobal id; out_int n; emit c | Kpush :: Kgetglobal q :: c -> out opPUSHGETGLOBAL; slot_for_getglobal q; emit c | Kpush :: Kconst sc :: c -> @@ -268,7 +268,7 @@ let rec emit = function end; emit c | Kgetglobal id :: Kgetfield n :: c -> - out opGETGLOBALFIELD; slot_for_getglobal id; out n; emit c + out opGETGLOBALFIELD; slot_for_getglobal id; out_int n; emit c (* Default case *) | instr :: c -> emit_instr instr; emit c |