diff options
Diffstat (limited to 'generic/pg-autotest.el')
| -rw-r--r-- | generic/pg-autotest.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/pg-autotest.el b/generic/pg-autotest.el index 7a22c9f7..54fa8abb 100644 --- a/generic/pg-autotest.el +++ b/generic/pg-autotest.el @@ -45,7 +45,7 @@ (defun pg-autotest-find-file (file) "Find FILE (relative to `proof-home-directory')." - (let* ((name (concat proof-home-directory file))) + (let* ((name (expand-file-name file proof-home-directory))) (if (file-exists-p name) (find-file name) (error (format "autotest: requested file %s does not exist" name))))) |