1 files changed, 4 insertions, 0 deletions
diff --git a/ccc/ccc.el b/ccc/ccc.el
index 9b5c35e4..b7f3619f 100644
--- a/ccc/ccc.el
+++ b/ccc/ccc.el
@@ -14,6 +14,10 @@
 (require 'proof-easy-config)            ; nice and easy does it
 (require 'proof-syntax)			; functions for making regexps
 
+(defvar ccc-keywords nil)
+(defvar ccc-tactics nil)
+(defvar ccc-tacticals nil)
+
 (proof-easy-config  'ccc "CASL Consistency Checker"
  proof-prog-name		 "ccc" ;; must be in your path.
  proof-terminal-char             ?\;