From c3a1bf620df8be0e5f320b8296067c944803605b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 25 Apr 2000 13:16:01 +0000
Subject: Fix %r modifier in proof-format-filename.

---
 generic/proof-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 39a1d930..703e2774 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -174,7 +174,7 @@ understand ~, for example."
 	 (cons "%e" (proof-format proof-shell-filename-escapes 
 				  (expand-file-name filename)))
 	 (cons "%r" (proof-format proof-shell-filename-escapes 
-				  (expand-file-name filename))))
+				  filename)))
    string))
  
 
-- 
cgit v1.2.3