[nongnu] elpa/proof-general f2c082f452 1/2: invalid function error on proof-unicode-tokens-toggle (#685)

[ELPA Syncer]

branch: elpa/proof-general
commit f2c082f4528832a23ebf2aa5af62901962776874
Author: 日比野 啓 (Kei Hibino) <ex8k.hibino@gmail.com>
Commit: GitHub <noreply@github.com>

    invalid function error on proof-unicode-tokens-toggle (#685)
---
 generic/proof-unicode-tokens.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el
index 967265f8c1..3702fd47d7 100644
--- a/generic/proof-unicode-tokens.el
+++ b/generic/proof-unicode-tokens.el
@@ -30,6 +30,7 @@
   ;; (require 'proof-auxmodes)  ; loaded by proof.el, autoloads us
   (require 'unicode-tokens))    ; it will be loaded by proof-auxmodes
 
+(eval-when-compile (require 'proof-utils))     ; import macros
 (require 'proof-config)                        ; config variables
 
 (defvar proof-unicode-tokens-initialised nil