From 6ca6528ddd308a7944e1d047711e79f7ef7efebc Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sun, 6 Sep 2009 19:44:38 +0000
Subject: Prevent compile warnings

---
 hol98/hol98.el | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'hol98')

diff --git a/hol98/hol98.el b/hol98/hol98.el
index 57172649..fa888feb 100644
--- a/hol98/hol98.el
+++ b/hol98/hol98.el
@@ -14,6 +14,11 @@
 (require 'proof-easy-config)            ; easy configure mechanism
 (require 'proof-syntax)			; functions for making regexps
 
+(defvar hol98-keywords nil)
+(defvar hol98-rules nil)
+(defvar hol98-tactics nil)
+(defvar hol98-tacticals nil)
+
 (proof-easy-config  'hol98 "HOL"
  proof-prog-name		 "hol.unquote"
  proof-terminal-char             ?\;
-- 
cgit v1.2.3