diff options
Diffstat (limited to 'generic/proof-syntax.el')
| -rw-r--r-- | generic/proof-syntax.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 69d08e7f..ae57888c 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -161,8 +161,7 @@ may assign this function to `after-change-function'." We use expand-file-name to avoid problems with dumb proof assistants and ~" (proof-format - (list (cons "%s" (expand-file-name filename)) - (cons "%e" (proof-format proof-shell-string-escapes + (list (cons "%s" (proof-format proof-shell-filename-escapes (expand-file-name filename)))) string)) |