diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 12:47:21 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 12:47:21 +0000 |
commit | bee0fafacc925e6eb21fa8c2b9547c911e37d45c (patch) | |
tree | 24d497e2f2d8831fd2798425a31abdfab19716c9 /phox | |
parent | 6044a343bc801f8bfe4ab3756e11f44a648a2edd (diff) |
Compilation tweaks
Diffstat (limited to 'phox')
-rw-r--r-- | phox/phox-pbrpm.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/phox/phox-pbrpm.el b/phox/phox-pbrpm.el index f5d94362..fe202166 100644 --- a/phox/phox-pbrpm.el +++ b/phox/phox-pbrpm.el @@ -7,6 +7,8 @@ ;; dependant of the actual state of our developments ;;--------------------------------------------------------------------------;; +(require 'pg-pbrpm) + ;;--------------------------------------------------------------------------;; ;; Syntactic functions ;;--------------------------------------------------------------------------;; @@ -289,7 +291,7 @@ (defalias 'proof-pbrpm-right-paren-p 'phox-pbrpm-right-paren-p) ;;--------------------------------------------------------------------------;; -;(require 'pg-pbrpm) da: causes compile error + (require 'phox-lang) (provide 'phox-pbrpm) ;; phox-pbrpm ends here |