From f2c082f4528832a23ebf2aa5af62901962776874 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=97=A5=E6=AF=94=E9=87=8E=20=E5=95=93=20=28Kei=20Hibino?= =?UTF-8?q?=29?= Date: Mon, 30 Jan 2023 19:18:52 +0900 Subject: [PATCH] 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 967265f8c..3702fd47d 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