diff options
| author | Pierre Courtieu | 2020-03-13 01:03:23 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2020-03-13 10:07:01 +0100 |
| commit | 23d1199c24927cf5dc6fa53f082291b6e181cd13 (patch) | |
| tree | 97ff0204b62f89244632e6c05f973ded0e5a44c7 /generic/pg-autotest.el | |
| parent | 7ee9052a1eca95fa60b9f16b173887f76dce90f7 (diff) | |
Fix 464: proof-autoloads not found by Emacs
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))))) |