From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Sat, 15 Sep 2018 17:41:55 +0000 (-0400)
Subject: Disable color for skip status indicator
X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=commitdiff_plain;h=f5fc22dd6a095ad3787283f1f18c410444e441cc

Disable color for skip status indicator
---

diff --git a/compiler/src/lib/tiger/tiger_test.ml b/compiler/src/lib/tiger/tiger_test.ml
index c11d4d1..0ee46d2 100644
--- a/compiler/src/lib/tiger/tiger_test.ml
+++ b/compiler/src/lib/tiger/tiger_test.ml
@@ -78,7 +78,9 @@ let status_fail ?(info="") () =
   status (color Red "Fail") info
 
 let status_skip ?(info="") () =
-  status (color Yellow "Skip") info
+  (*let indicator = (color Yellow "Skip") in*)
+  let indicator = "Skip" in
+  status indicator info
 
 let case
     ?(out_lexing=None)