diff options
Diffstat (limited to 'src/boot/be/abi.ml')
| -rw-r--r-- | src/boot/be/abi.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/be/abi.ml b/src/boot/be/abi.ml index 43043e11..2bb10870 100644 --- a/src/boot/be/abi.ml +++ b/src/boot/be/abi.ml @@ -118,7 +118,7 @@ type abi = abi_str_of_hardreg: (int -> string); abi_emit_target_specific: (Il.emitter -> Il.quad -> unit); - abi_constrain_vregs: (Il.quad -> Bits.t array -> unit); + abi_constrain_vregs: (Il.quad -> (Il.vreg,Bits.t) Hashtbl.t -> unit); abi_emit_fn_prologue: (Il.emitter -> Common.size (* framesz *) |