From 9088ec02a085e43aa1e5781472aae04fba2bd7be Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Mon, 11 Apr 2022 14:09:48 +0200
Subject: [PATCH] make syntax cyan not blue

---
 src/Quox/Pretty.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Quox/Pretty.idr b/src/Quox/Pretty.idr
index f597f1d..e7e2e26 100644
--- a/src/Quox/Pretty.idr
+++ b/src/Quox/Pretty.idr
@@ -196,7 +196,7 @@ termHL DVar    = color BrightGreen
 termHL DVarErr = color BrightGreen   <+> underline
 termHL Qty     = color BrightMagenta <+> bold
 termHL Free    = color BrightWhite
-termHL Syntax  = color BrightBlue
+termHL Syntax  = color BrightCyan
 
 export %inline
 prettyTerm : {default True color, unicode : Bool} -> PrettyHL a => a -> IO Unit