From a867f3d66172020e30dd0614bd7b50f90b6fddd7 Mon Sep 17 00:00:00 2001
From: Carlo Angiuli <carlo@carloangiuli.com>
Date: Mon, 6 Nov 2017 16:11:26 -0500
Subject: [PATCH] delete 'primitive' keyword from emacs mode

---
 cubicaltt.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cubicaltt.el b/cubicaltt.el
index 43dcdd8..9c3fdbe 100644
--- a/cubicaltt.el
+++ b/cubicaltt.el
@@ -63,7 +63,7 @@
   "Operations for cubical.")
 
 (defvar cubicaltt-special
-  '("undefined" "primitive")
+  '("undefined")
   "Special operators for cubical.")
 
 (defvar cubicaltt-keywords-regexp
-- 
2.34.1