diff options
| -rw-r--r-- | proof-general.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/proof-general.el b/proof-general.el index a2f8c6fa..c7fd639e 100644 --- a/proof-general.el +++ b/proof-general.el @@ -73,7 +73,9 @@ ;; them for the compilation to succeed for me. --Stef "isar" "lego" "twelf" "obsolete/plastic")) (root (file-name-directory - (or load-file-name byte-compile-current-file buffer-file-name)))) + (or load-file-name + (bound-and-true-p byte-compile-current-file) + buffer-file-name)))) (dolist (dir byte-compile-directories) (add-to-list 'load-path (expand-file-name dir root))))) |