From d53a998d545cd23c89449fc5236a18d6efd8fadd Mon Sep 17 00:00:00 2001
From: David Christiansen <david@davidchristiansen.dk>
Date: Mon, 1 Aug 2016 09:11:38 -0400
Subject: [PATCH] Emacs mode: Update names for Customize

Now Customize uses the updated names consistently.
---
 cubicaltt.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cubicaltt.el b/cubicaltt.el
index 3d2023f..9e629a9 100644
--- a/cubicaltt.el
+++ b/cubicaltt.el
@@ -41,12 +41,12 @@
 
 (defgroup cubicaltt nil "Options for cubicaltt-mode for cubical type theory"
   :group 'languages
-  :prefix 'cubicaltt
+  :prefix 'cubicaltt-
   :tag "Cubical type theory")
 
 (defcustom cubicaltt-command "cubical"
   "The command to be run for cubical."
-  :group 'ctt
+  :group 'cubicaltt
   :type 'string
   :tag "Command for cubical"
   :options '("cubical" "cabal exec cubical"))
-- 
2.34.1