diff options
Diffstat (limited to 'lib/pg-dev.el')
| -rw-r--r-- | lib/pg-dev.el | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/lib/pg-dev.el b/lib/pg-dev.el index b791b155..1d1c0e66 100644 --- a/lib/pg-dev.el +++ b/lib/pg-dev.el @@ -16,6 +16,12 @@ (require 'whitespace) +(eval-when-compile + (require 'cl)) + +(eval-when (compile) + (require 'proof-site)) + (with-no-warnings (setq proof-general-debug t)) @@ -77,8 +83,8 @@ (defun pg-loadpath () (interactive) - (add-to-list 'load-path "../generic/") - (add-to-list 'load-path "../lib/")) + (proof-add-to-load-path "../generic/") + (proof-add-to-load-path "../lib/")) ;;; |