visible -> transparent

diff --git a/cubicaltt.el b/cubicaltt.el
index 9e629a99b5d95772ffce8482b48e3d9a53349358..9baefe05dea73040ebff0cf257cef430c60d84af 100644 (file)
--- a/cubicaltt.el
+++ b/cubicaltt.el
@@ -55,7 +55,7 @@
 
 (defvar cubicaltt-keywords
   '("hdata" "data" "import" "mutual" "let" "in" "split"
-    "with" "module" "where" "U" "opaque" "visible")
+    "with" "module" "where" "U" "opaque" "transparent")
   "Keywords for cubical.")
 
 (defvar cubicaltt-special