diff options
Diffstat (limited to 'asmcomp/cmm.mli')
| -rw-r--r-- | asmcomp/cmm.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/asmcomp/cmm.mli b/asmcomp/cmm.mli index 2ae9eb6584..be2bd41457 100644 --- a/asmcomp/cmm.mli +++ b/asmcomp/cmm.mli @@ -75,6 +75,7 @@ type expression = | Cconst_symbol of string | Cconst_pointer of int | Cconst_natpointer of nativeint + | Cconst_blockheader of nativeint | Cvar of Ident.t | Clet of Ident.t * expression * expression | Cassign of Ident.t * expression |