diff options
Diffstat (limited to 'asmcomp/mach.ml')
| -rw-r--r-- | asmcomp/mach.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/asmcomp/mach.ml b/asmcomp/mach.ml index 58d0c10769..a11910ec73 100644 --- a/asmcomp/mach.ml +++ b/asmcomp/mach.ml @@ -38,6 +38,7 @@ type operation = | Iconst_int of nativeint | Iconst_float of string | Iconst_symbol of string + | Iconst_blockheader of nativeint | Icall_ind | Icall_imm of string | Itailcall_ind |