diff options
Diffstat (limited to 'generic/proof-indent.el')
-rw-r--r-- | generic/proof-indent.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index 515c304f..74638bef 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -5,9 +5,11 @@ ;; ;; $Id$ ;; +;; FIXME: byte compile complains about not knowing +;; proof-script-buffer-list, proof-goto-end-of-locked, +;; proof-locked-end -(require 'cl) -(require 'proof-syntax) +(require 'proof) (defvar proof-stack-to-indent nil "Prover-specific code for indentation.") |