diff options
| author | David Aspinall | 1998-08-11 11:43:14 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-08-11 11:43:14 +0000 |
| commit | 77687d352a1b1bcb5d359b6ee1dd8a29ec3c31ae (patch) | |
| tree | 338c5fa96b344a06bc167fb4b5989bea0db6023b /proof-indent.el | |
| parent | 1ad05a7d629eb4240930ddc7b3a3e6f1828a1841 (diff) | |
Renamed <file>-fontlock to <file>-syntax
Diffstat (limited to 'proof-indent.el')
| -rw-r--r-- | proof-indent.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/proof-indent.el b/proof-indent.el index c380a9c3..bb42f462 100644 --- a/proof-indent.el +++ b/proof-indent.el @@ -4,8 +4,7 @@ ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> (require 'cl) -(require 'proof-fontlock) -;; proof-fontlock ought to be renamed to proof-syntax +(require 'proof-syntax) (defvar proof-stack-to-indent nil "Prover-specific code for indentation.") |