diff --git a/src/regalloc.ml b/src/regalloc.ml
index 76e7c48a3ad12944b5f60a9358814d2ffc3f4ef1..7013a3f7d821241b6a409e26a89ed0297281066a 100644
--- a/src/regalloc.ml
+++ b/src/regalloc.ml
@@ -1,6 +1,4 @@
 open Batteries
-open BatList
-open BatEnum
 open Prog
 open Linear
 open Rtl