Fixed bug in listing colors

2011-04-21 11:24:30 +02:00 · 2011-04-21 11:24:30 +02:00 · c994e58e06
parent 032fe693ef
commit c994e58e06
1 changed files with 1 additions and 1 deletions
--- 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 =