From f5fc22dd6a095ad3787283f1f18c410444e441cc Mon Sep 17 00:00:00 2001 From: Siraaj Khandkar Date: Sat, 15 Sep 2018 13:41:55 -0400 Subject: [PATCH] Disable color for skip status indicator --- compiler/src/lib/tiger/tiger_test.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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) -- 2.20.1