diff options
| author | David Aspinall | 2007-12-14 13:14:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-14 13:14:13 +0000 |
| commit | b1ca69dcc59cc6dfb397d5502df867cce4500dd3 (patch) | |
| tree | 971104bf89993c8e0a87309143711ac1d000dabb | |
| parent | 636a83078ec5271a07ba78fd5d02ce5e9f1f4a86 (diff) | |
Add compilation dependency
| -rw-r--r-- | generic/pg-pbrpm.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el index 9f331476..21f0c02f 100644 --- a/generic/pg-pbrpm.el +++ b/generic/pg-pbrpm.el @@ -4,9 +4,11 @@ ;; Authors: Jean-Roch SOTTY, Christophe Raffalli ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; - ;; analysis of the goal buffer +(require 'proof-utils) ;; for proof-face-specs + + (defvar pg-pbrpm-use-buffer-menu t "if t, pbrpm will use a menu displayed in a dialog fram instead of a popup menu") |