From d06de43789a8480e66079fe940c0a2d8c83fccf2 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Fri, 20 May 2016 16:26:03 +0200
Subject: [PATCH] Removed color flag (because ocaml < 4.03)

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 26f2d5bc..3a79d2e9 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,8 @@
 
 LOG=build.log
 COMP=ocamlbuild -log $(LOG) -use-ocamlfind
-FLAGS=-cflags -color,always
+FLAGS=
+# -cflags -color,always
 DOC=msat.docdir/index.html
 BIN=main.native
 NAME=msat