diff options
Diffstat (limited to 'asmcomp/mach.mli')
| -rw-r--r-- | asmcomp/mach.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/asmcomp/mach.mli b/asmcomp/mach.mli index 03028b2ca8..000c3cf9f1 100644 --- a/asmcomp/mach.mli +++ b/asmcomp/mach.mli @@ -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 |