From bf9066e8b0b5c6f02a19cd4baeeae598a357675b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Sep 2009 09:17:09 +0000
Subject: Fix compiler warnings

---
 isar/isar.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index 25572319..6985d309 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -23,6 +23,7 @@
   (require 'pg-goals)
   (require 'pg-vars)
   (defvar outline-heading-end-regexp nil)
+  (defvar comment-quote-nested nil)
   (proof-ready-for-assistant 'isar))	; compile for isar
 
 (require 'isabelle-system)		; system code
-- 
cgit v1.2.3