From 3a516e90efec8ea2a3691675e83709aecdd0f5df Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 30 May 2000 11:24:44 +0000
Subject: Tidied

---
 generic/proof-indent.el | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-indent.el b/generic/proof-indent.el
index f631bc9c..ec580165 100644
--- a/generic/proof-indent.el
+++ b/generic/proof-indent.el
@@ -9,15 +9,6 @@
 (require 'proof)			; loader
 (require 'proof-script)			; indent code is for script editing
 
-;;; FIXME: for compilation might be  nice
-;;;
-;;; To nuke byte compile warnings
-;;;
-;(require 'proof-syntax)			; for proof-indent-commands-regexp.
-;(require 'proof-script)			; for proof-goto-end-of-locked,
-					; proof-locked-end
-
-
 ;; This is quite different from sml-mode, but borrows some bits of
 ;; code.  It's quite a lot less general, but works with nested
 ;; comments.
-- 
cgit v1.2.3