diff options
Diffstat (limited to 'generic/proof-depends.el')
-rw-r--r-- | generic/proof-depends.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-depends.el b/generic/proof-depends.el index 372ce06b..163a0968 100644 --- a/generic/proof-depends.el +++ b/generic/proof-depends.el @@ -26,6 +26,7 @@ (require 'cl-lib) (require 'span) (require 'pg-vars) +(require 'proof-script) ;For pg-set-span-helphighlights (require 'proof-config) (require 'proof-autoloads) |