From ba364c8e3347a775afba434a7aa4abeecd4d52d4 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 7 Sep 2009 09:09:35 +0000
Subject: Fix compiler warnings

---
 ccc/ccc.el | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'ccc')

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             ?\;
-- 
cgit v1.2.3