From c994e58e0677913eff0c70e76bb9eecac4034424 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Thu, 21 Apr 2011 11:24:30 +0200
Subject: [PATCH] Fixed bug in listing colors

---
 compiler/utilities/minils/dcoloring.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/utilities/minils/dcoloring.ml b/compiler/utilities/minils/dcoloring.ml
index 7ebf966..b2dc862 100644
--- a/compiler/utilities/minils/dcoloring.ml
+++ b/compiler/utilities/minils/dcoloring.ml
@@ -19,7 +19,7 @@ module ColorSet =
 module Dsatur = struct
   let rec remove_colored l = match l with
     | [] -> []
-    | v::l -> if G.Mark.get v > 0 then l else remove_colored l
+    | v::l -> if G.Mark.get v > 0 then l else v::(remove_colored l)
 
   let colors i g v =
     let color e colors =