diff options
Diffstat (limited to 'generic/proof-unicode-tokens.el')
| -rw-r--r-- | generic/proof-unicode-tokens.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el index 3f9f0199..0352f012 100644 --- a/generic/proof-unicode-tokens.el +++ b/generic/proof-unicode-tokens.el @@ -21,10 +21,10 @@ (eval-when-compile (require 'cl)) -(eval-when (compile) - (require 'scomint) - (require 'proof-auxmodes) ; loaded by proof.el, autoloads us - (require 'unicode-tokens)) ; it will be loaded by proof-auxmodes +(eval-when-compile + (require 'scomint) + (require 'proof-auxmodes) ; loaded by proof.el, autoloads us + (require 'unicode-tokens)) ; it will be loaded by proof-auxmodes (require 'proof-config) ; config variables |