diff options
Diffstat (limited to 'lo2.ml')
-rw-r--r-- | lo2.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lo2.ml b/lo2.ml index ce953f2..f15d53a 100644 --- a/lo2.ml +++ b/lo2.ml @@ -128,7 +128,7 @@ let regalloc (p: iprog) = let kill ir = match H.find act ir with | LReg r -> H.remove act ir; free := r :: !free - | _ -> () in + | _ -> H.remove act ir in let loc ir = match H.find act ir with |