diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:17:09 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:17:09 +0000 |
commit | bf9066e8b0b5c6f02a19cd4baeeae598a357675b (patch) | |
tree | 7bf8806305c5513595592797ceac77b1d5986ddb /isar/isar.el | |
parent | c48d00f6129e66047c4df261f776f4c8aaa49b0b (diff) |
Fix compiler warnings
Diffstat (limited to 'isar/isar.el')
-rw-r--r-- | isar/isar.el | 1 |
1 files changed, 1 insertions, 0 deletions
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 |