1 files changed, 3 insertions, 2 deletions
diff --git a/coq/coq.el b/coq/coq.el
index 2dc0440b..865eed8b 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -231,8 +231,9 @@
 (replace-string-by-holes-backward-move-point 1 empty-hole-string)
 )
 
-(setq-default module-kinds-table 
-              '(("Module" 1) ("Module Type" 2) ("Declare Module" 3)))
+(defconst module-kinds-table 
+  '(("Module" 1) ("Module Type" 2) ("Declare Module" 3))
+  "Enumerates the different kinds of modules")
 
 (defun coq-insert-module ()
   (interactive)