diff options
| author | Clément Pit-Claudel | 2020-12-10 22:33:36 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-10 22:33:36 +0000 |
| commit | 9064f143b7aae41cfcbfcf5270ab69a81887f21f (patch) | |
| tree | 2732fbb119be2094fb3fedca0dbe17f3642067cd | |
| parent | ad5105b58374f9ed5f83d5272688f5475bc0293b (diff) | |
| parent | e830fc41df452afd8139914c022945c44a6cea35 (diff) | |
Merge pull request #527 from rgrinberg/fix-byte-comp
Fix byte compilation in Doom Emacs
| -rw-r--r-- | proof-general.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/proof-general.el b/proof-general.el index d0955088..5b4b6a56 100644 --- a/proof-general.el +++ b/proof-general.el @@ -56,8 +56,9 @@ ;;;###autoload (eval-and-compile (defvar pg-init--script-full-path - (or (and load-in-progress load-file-name) - (bound-and-true-p byte-compile-current-file) + (or (bound-and-true-p byte-compile-current-file) + (and load-in-progress load-file-name) + (buffer-file-name))) (defvar pg-init--pg-root (file-name-directory pg-init--script-full-path))) |