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 | |
parent | c48d00f6129e66047c4df261f776f4c8aaa49b0b (diff) |
Fix compiler warnings
-rw-r--r-- | isar/isar.el | 1 | ||||
-rw-r--r-- | lib/bufhist.el | 4 |
2 files changed, 4 insertions, 1 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 diff --git a/lib/bufhist.el b/lib/bufhist.el index 9ef3b6b9..9ce1e8ae 100644 --- a/lib/bufhist.el +++ b/lib/bufhist.el @@ -1,6 +1,6 @@ ;; bufhist.el --- keep read-only history of buffer contents for browsing -;; Copyright (C) 2006 David Aspinall / University of Edinburgh +;; Copyright (C) 2006, 2009 David Aspinall / University of Edinburgh ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> ;; License: GPL (GNU GENERAL PUBLIC LICENSE) @@ -29,6 +29,8 @@ (require 'ring) +(declare-function bufhist-ordinary-erase-buffer "bufhist") + ;;; First a function which ought to be in ring.el (defun bufhist-ring-update (ring index newitem) |