X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test.ml;h=0ee46d2ae5060c3f0bea7f8b372160b918c474c7;hp=c11d4d1374274e563365d61223ed06c76ab5146b;hb=f5fc22dd6a095ad3787283f1f18c410444e441cc;hpb=fca3442cc6f9610169ce279bc1daf7977b840125 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)