diff options
Diffstat (limited to 'backend/IRC.ml')
| -rw-r--r-- | backend/IRC.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/backend/IRC.ml b/backend/IRC.ml index d542f85e..036b4ac5 100644 --- a/backend/IRC.ml +++ b/backend/IRC.ml @@ -833,10 +833,10 @@ let find_slot conflicts typ = | [] -> S(Local, curr, typ) | S(Local, ofs, typ') :: l -> - if Z.le (Z.add curr (typesize typ)) ofs then + if Z.le (Z.add curr (Locations.typesize typ)) ofs then S(Local, curr, typ) else begin - let ofs' = Z.add ofs (typesize typ') in + let ofs' = Z.add ofs (Locations.typesize typ') in find (if Z.le ofs' curr then curr else ofs') l end | _ :: l -> |