From d5705d12a037b24fbd1c4db002feb92c7b01fccd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 10 Dec 2007 11:55:57 +0000
Subject: GNU Emacs compat: buffer-substring

---
 generic/pg-pbrpm.el | 7 ++++---
 1 file 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)
-- 
cgit v1.2.3