diff options
Diffstat (limited to 'asmcomp/printcmm.ml')
| -rw-r--r-- | asmcomp/printcmm.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/asmcomp/printcmm.ml b/asmcomp/printcmm.ml index f1c9243a08..008081fb47 100644 --- a/asmcomp/printcmm.ml +++ b/asmcomp/printcmm.ml @@ -87,7 +87,8 @@ let operation = function let rec expr ppf = function | Cconst_int n -> fprintf ppf "%i" n - | Cconst_natint n -> fprintf ppf "%s" (Nativeint.to_string n) + | Cconst_natint n | Cconst_blockheader n -> + fprintf ppf "%s" (Nativeint.to_string n) | Cconst_float s -> fprintf ppf "%s" s | Cconst_symbol s -> fprintf ppf "\"%s\"" s | Cconst_pointer n -> fprintf ppf "%ia" n |