diff options
Diffstat (limited to 'hol98')
| -rw-r--r-- | hol98/hol98.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hol98/hol98.el b/hol98/hol98.el index 41f2f484..efb22a55 100644 --- a/hol98/hol98.el +++ b/hol98/hol98.el @@ -31,7 +31,7 @@ proof-showproof-command "p()" proof-undo-n-times-cmd "(pg_repeat backup %s; p());" proof-auto-multiple-files t - proof-shell-cd-cmd "FileSys.chDir \"%s\"" + proof-shell-cd-cmd "FileSys.chDir \"%e\"" proof-shell-prompt-pattern "^[->] " proof-shell-interrupt-regexp "Interrupted" proof-shell-start-goals-regexp |