diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:09:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:09:35 +0000 |
commit | ba364c8e3347a775afba434a7aa4abeecd4d52d4 (patch) | |
tree | 19091b11aa2da986418d3d825c7974810e6b0082 /ccc | |
parent | b5c2cc8a3bb3cc2446267455db506d3cabe683c7 (diff) |
Fix compiler warnings
Diffstat (limited to 'ccc')
-rw-r--r-- | ccc/ccc.el | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 ?\; |