aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-pbrpm.el
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2007-12-10 11:55:57 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2007-12-10 11:55:57 +0000
commitd5705d12a037b24fbd1c4db002feb92c7b01fccd (patch)
treeb832956a7a98da90a9a87283038b1f0173ad7a99 /generic/pg-pbrpm.el
parentd20ffee1ade7a9edee43e71ce27dadb853337cd2 (diff)
GNU Emacs compat: buffer-substring
Diffstat (limited to 'generic/pg-pbrpm.el')
-rw-r--r--generic/pg-pbrpm.el7
1 files changed, 4 insertions, 3 deletions
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el
index 4393a502..9f331476 100644
--- a/generic/pg-pbrpm.el
+++ b/generic/pg-pbrpm.el
@@ -468,9 +468,10 @@ The prover command is processed via pg-pbrpm-run-command."
(mapcar (lambda (span) (pg-pbrpm-process-region span)) pg-pbrpm-regions-list))
(defun pg-pbrpm-region-expression (buffer start end)
-"Valid parenthesis'd expression."
- ; an expression is valid if it has as many left paren' as right paren'
- (buffer-substring start end buffer))
+ "Valid parenthesis'd expression."
+ ;; an expression is valid if it has as many left paren' as right paren'
+ (with-current-buffer buffer
+ (buffer-substring start end)))
; (let
; ((pbrpm-left-pars 0)
; (pbrpm-right-pars 0)