From bee0fafacc925e6eb21fa8c2b9547c911e37d45c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 16 Jan 2008 12:47:21 +0000 Subject: Compilation tweaks --- phox/phox-pbrpm.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'phox') 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 -- cgit v1.2.3