Merge changes to type_check.ml

1 files changed, 6 insertions, 2 deletions

diff --git a/src/util.ml b/src/util.ml
index e2dc9b9f..b8670b84 100644
--- a/src/util.ml
+++ b/src/util.ml
@@ -389,12 +389,16 @@ let rec take n xs = match n, xs with
   | n, (x :: xs) -> x :: take (n - 1) xs 
 
 let termcode n = "\x1B[" ^ string_of_int n ^ "m"
+
 let bold str = termcode 1 ^ str
+
+let red str = termcode 91 ^ str
 let green str = termcode 92 ^ str
 let yellow str = termcode 93 ^ str
-let red str = termcode 91 ^ str
-let cyan str = termcode 96 ^ str
 let blue str = termcode 94 ^ str
+let magenta str = termcode 95 ^ str
+let cyan str = termcode 96 ^ str
+
 let clear str = str ^ termcode 0
 
 let zchar c =