invalid function error on proof-unicode-tokens-toggle (#685)

ProofGeneral · Jan 30, 2023 · f2c082f · f2c082f
1 parent bbbb1e2
commit f2c082f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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