Skip to content
Permalink
Browse files

delete 'primitive' keyword from emacs mode

  • Loading branch information...
cangiuli authored and mortberg committed Nov 6, 2017
1 parent 5743434 commit a867f3d66172020e30dd0614bd7b50f90b6fddd7
Showing with 1 addition and 1 deletion.
  1. +1 −1 cubicaltt.el
@@ -63,7 +63,7 @@
"Operations for cubical.")

(defvar cubicaltt-special
'("undefined" "primitive")
'("undefined")
"Special operators for cubical.")

(defvar cubicaltt-keywords-regexp

0 comments on commit a867f3d

Please sign in to comment.
You can’t perform that action at this time.