summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1998-05-25 09:17:03 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1998-05-25 09:17:03 +0000
commit6368084fa2b08b00cc81ccc844d33d3fa922b7f6 (patch)
treec463347f5d8f714df2c8f381927fe7c27cacf88f
parenta588651a1b0c85d95b06a0ef047afd7218e3d96f (diff)
Cas Koffsetclosure oublie
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1967 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--bytecomp/printinstr.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/bytecomp/printinstr.ml b/bytecomp/printinstr.ml
index 973813605..efebb828e 100644
--- a/bytecomp/printinstr.ml
+++ b/bytecomp/printinstr.ml
@@ -38,6 +38,7 @@ let instruction = function
print_string "\tclosurerec";
List.iter (fun lbl -> print_string " "; print_int lbl) lbls;
print_string ", "; print_int n
+ | Koffsetclosure n -> print_string "\toffsetclosure "; print_int n
| Kgetglobal id -> print_string "\tgetglobal "; Ident.print id
| Ksetglobal id -> print_string "\tsetglobal "; Ident.print id
| Kconst cst ->