diff options
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 85daf3ee..1cb372fb 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -10,6 +10,7 @@ ;; Loading note: this file is required immediately from proof.el, so ;; no autoloads are used here. +(require 'proof-compat) ;; for pg-defface-window-systems ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |