@@ -44,7 +44,7 @@ highlight def link idrisSyntax Statement
4444highlight def link idrisVisibility Statement
4545highlight def link idrisConditional Conditional
4646highlight def link idrisProofBlock Macro
47−highlight idrisTactic ctermfg=cyan
47+highlight def link idrisTactic Identifier
4848highlight def link idrisLink Statement
4949highlight def link idrisDirective Statement
5050highlight def link idrisNumber Number
@@ -55,7 +55,7 @@ highlight def link idrisOperators Operator
5555highlight def link idrisType Include
5656highlight def link idrisLineComment Comment
5757highlight def link idrisBlockComment Comment
58−highlight idrisMetaVar ctermfg=red
58+highlight def link idrisMetaVar Identifier
5959highlight def link idrisString String
6060highlight def link idrisChar String
6161highlight def link idrisBacktick Operator