diff options
| -rw-r--r-- | generic/proof-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |