diff options
| author | Hendrik Tews | 2021-01-20 23:24:37 +0100 |
|---|---|---|
| committer | hendriktews | 2021-01-31 21:42:52 +0100 |
| commit | 62336eb740f34af5461b9da569ae0ee43a066b19 (patch) | |
| tree | 298337c0ee2f7a5469fc1cebb68e74b3db1297f9 /generic/proof-unicode-tokens.el | |
| parent | 9d153549fd8075160f05013b865939fbe8d59aeb (diff) | |
fix make magic problem from 2017
After 574b09 92e3cb4b7a4ad88400b9a5ab0198a96ca5, make magic fails
with a recursive require chain. No requires were changed in that
commit, it's unclear to me, why there is no recursive require
chain with (eval-when (compile).
Diffstat (limited to 'generic/proof-unicode-tokens.el')
| -rw-r--r-- | generic/proof-unicode-tokens.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el index 7ae75ba1..e030d4b2 100644 --- a/generic/proof-unicode-tokens.el +++ b/generic/proof-unicode-tokens.el @@ -26,7 +26,8 @@ (eval-when-compile (require 'scomint) - (require 'proof-auxmodes) ; loaded by proof.el, autoloads us + ;; the following require causes make magic to fail with a recursive chain + ;; (require 'proof-auxmodes) ; loaded by proof.el, autoloads us (require 'unicode-tokens)) ; it will be loaded by proof-auxmodes (require 'proof-config) ; config variables |