summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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 ->