diff options
Diffstat (limited to 'generic')
| -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 |