diff options
| author | David Aspinall | 2001-07-09 15:36:59 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-07-09 15:36:59 +0000 |
| commit | 1230ca4d4bddbd2b936203b0deb8ed8b7cdb0090 (patch) | |
| tree | b28fb4f1907ada2ab7a7890454c2904c94cdc949 /generic/pg-user.el | |
| parent | b95af8adbc9b5d7b12ad331a1447871e331e6823 (diff) | |
Clean-up compile
Diffstat (limited to 'generic/pg-user.el')
| -rw-r--r-- | generic/pg-user.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index 3557a7a9..fbc8464f 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -8,10 +8,11 @@ ;; ;; +(require 'proof-config) ; for proof-follow-mode ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; -;; First a couple of helper functions +;; first a couple of helper functions ;; (defmacro proof-maybe-save-point (&rest body) |