From 02b5c61ee1613a31f7de2e406fbb794977da6aeb Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Thu, 20 Nov 2014 14:38:25 +0100
Subject: [PATCH] Better color scheme for dot output

---
 sat/res.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sat/res.ml b/sat/res.ml
index 2d516913..4933e70f 100644
--- a/sat/res.ml
+++ b/sat/res.ml
@@ -330,8 +330,8 @@ module Make(St : Solver_types.S) = struct
       (print_dot_edge id) (c_id p2)
 
   let color s = match s.[0] with
-      | 'E' -> ""
-      | 'L' -> ""
+      | 'E' -> "BGCOLOR=\"GREEN\""
+      | 'L' -> "BGCOLOR=\"GREEN\""
       | _ -> "BGCOLOR=\"GREY\""
 
   let rec print_dot_proof fmt p =