From 3cfa12ed8ac916c6f543f23258fb4ca417e808ae Mon Sep 17 00:00:00 2001
From: Pierre Wilke <pierre.wilke@centralesupelec.fr>
Date: Thu, 11 Mar 2021 11:32:36 +0100
Subject: [PATCH] Petit nettoyage

---
 src/regalloc.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/regalloc.ml b/src/regalloc.ml
index 76e7c48..7013a3f 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
-- 
GitLab