diff options
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 |