diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-12-14 15:44:32 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-12-14 15:44:32 +0100 |
commit | ed4ffd4a653ae792aefeacbb0daa967fd4cb2524 (patch) | |
tree | 60a407c7f8ee7f2eb7a0dfd21230f47b1295d6b1 /isar/isar-unicode-tokens.el | |
parent | bfcb1a442b225394edc5e61ff8b3216e8f0efe83 (diff) | |
parent | 632a3d7f9ded16faaf58e1c0769bcd4f7c8193e3 (diff) |
Merge branch 'master' of github.com:ProofGeneral/PG
Diffstat (limited to 'isar/isar-unicode-tokens.el')
-rw-r--r-- | isar/isar-unicode-tokens.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index c6f58452..725bc544 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -12,7 +12,7 @@ ;; -(require 'cl) ; for-loop +(eval-when-compile (require 'cl-lib)) ; cl-loop (eval-when-compile (require 'unicode-tokens) ; it's loaded dynamically at runtime @@ -481,10 +481,10 @@ tokens." :set 'isar-set-and-restart-tokens) (defun isar-map-letters (f1 f2 &rest symbs) - (loop for x below 26 - for c = (+ 65 x) - collect - (cons (funcall f1 c) (cons (funcall f2 c) symbs)))) + (cl-loop for x below 26 + for c = (+ 65 x) + collect + (cons (funcall f1 c) (cons (funcall f2 c) symbs)))) (defconst isar-script-letters-tokens ; \<A> \<B> ... (isar-map-letters (lambda (x) (format "%c" x)) |