From ee2f198fe841d01c9bc23a8b01b2a783ffed8002 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Sun, 30 Sep 2018 13:36:35 -0500
Subject: [PATCH] ui.theme: Fix merge.

---
 basis/ui/theme/theme.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/basis/ui/theme/theme.factor b/basis/ui/theme/theme.factor
index 6cd4b597f6..0066008a09 100644
--- a/basis/ui/theme/theme.factor
+++ b/basis/ui/theme/theme.factor
@@ -174,7 +174,7 @@ M: light-theme vocab-border-color color: FactorDarkTan ;
 
 M: light-theme field-border-color color: gray ;
 
-M: light-theme editor-caret-color COLOR: red ;
+M: light-theme editor-caret-color color: red ;
 M: light-theme selection-color T{ rgba f 0.8 0.8 1.0 1.0 } ;
 M: light-theme panel-background-color T{ rgba f 0.7843 0.7686 0.7176 1.0 } ;
 M: light-theme focus-border-color color: dark-gray ;