diff options
Diffstat (limited to 'arm/PrintAsm.ml')
-rw-r--r-- | arm/PrintAsm.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arm/PrintAsm.ml b/arm/PrintAsm.ml index f5907f40..90b082be 100644 --- a/arm/PrintAsm.ml +++ b/arm/PrintAsm.ml @@ -14,7 +14,6 @@ open Printf open Datatypes -open Integers open Camlcoq open AST open Asm @@ -119,7 +118,8 @@ let label_float f = max_pos_constants := min !max_pos_constants (!currpos + 1024); lbl' -let symbol_labels = (Hashtbl.create 39 : (ident * Int.int, int) Hashtbl.t) +let symbol_labels = + (Hashtbl.create 39 : (ident * Integers.Int.int, int) Hashtbl.t) let label_symbol id ofs = try |