Disable color for skip status indicator

[tiger.ml.git] / compiler / src / lib / tiger / tiger_test.ml

diff --git a/compiler/src/lib/tiger/tiger_test.ml b/compiler/src/lib/tiger/tiger_test.ml
index c11d4d1..0ee46d2 100644 (file)
--- 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)