Disable color for skip status indicator
authorSiraaj Khandkar <siraaj@khandkar.net>
Sat, 15 Sep 2018 17:41:55 +0000 (13:41 -0400)
committerSiraaj Khandkar <siraaj@khandkar.net>
Sat, 15 Sep 2018 17:41:55 +0000 (13:41 -0400)
compiler/src/lib/tiger/tiger_test.ml

index c11d4d1..0ee46d2 100644 (file)
@@ -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)
This page took 0.021983 seconds and 4 git commands to generate.