diff options
Diffstat (limited to 'generic/pg-pbrpm.el')
-rw-r--r-- | generic/pg-pbrpm.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el index 7a22e185..942cc919 100644 --- a/generic/pg-pbrpm.el +++ b/generic/pg-pbrpm.el @@ -38,6 +38,7 @@ (eval-when-compile (require 'proof-utils)) +(require 'proof-script) ;For proof-insert-pbp-command (require 'proof) ;;; |