From 787e3d0cccf840d87111a5626deaeb8c07156a9d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 15:16:50 +0000
Subject: Fixes for clean byte compile

---
 generic/proof-indent.el | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'generic')

diff --git a/generic/proof-indent.el b/generic/proof-indent.el
index 74638bef..8506cf38 100644
--- a/generic/proof-indent.el
+++ b/generic/proof-indent.el
@@ -11,6 +11,18 @@
 
 (require 'proof)
 
+;;;
+;;; To nuke byte compile warnings
+;;;
+(require 'proof-syntax)			; for proof-commands-regexp.
+(autoload 'proof-goto-end-of-locked "proof-script"
+  "Jump to the end of the locked region.")
+(autoload 'proof-locked-end "proof-script"
+  "Return end of the locked region of the current buffer.")
+;;;
+;;;
+
+
 (defvar proof-stack-to-indent nil
   "Prover-specific code for indentation.")
 
-- 
cgit v1.2.3