diff options
Diffstat (limited to 'isar/isar-unicode-tokens.el')
-rw-r--r-- | isar/isar-unicode-tokens.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index c1e7f3aa..7eda6ae3 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -15,9 +15,8 @@ (require 'cl) ; for-loop (eval-when (compile) - (require 'unicode-tokens)) ; it's loaded dynamically at runtime - -(require 'proof-unicode-tokens) + (require 'unicode-tokens) ; it's loaded dynamically at runtime + (require 'proof-unicode-tokens)) ; that file loads us at runtime ;; ;; Customization |