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