From 62336eb740f34af5461b9da569ae0ee43a066b19 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Wed, 20 Jan 2021 23:24:37 +0100
Subject: fix make magic problem from 2017

After 574b09 92e3cb4b7a4ad88400b9a5ab0198a96ca5, make magic fails
with a recursive require chain. No requires were changed in that
commit, it's unclear to me, why there is no recursive require
chain with (eval-when (compile).
---
 generic/proof-unicode-tokens.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el
index 7ae75ba1..e030d4b2 100644
--- a/generic/proof-unicode-tokens.el
+++ b/generic/proof-unicode-tokens.el
@@ -26,7 +26,8 @@
 
 (eval-when-compile
   (require 'scomint)
-  (require 'proof-auxmodes)	 ; loaded by proof.el, autoloads us
+  ;; the following require causes make magic to fail with a recursive chain
+  ;; (require 'proof-auxmodes)	 ; loaded by proof.el, autoloads us
   (require 'unicode-tokens))	 ; it will be loaded by proof-auxmodes
 
 (require 'proof-config)			; config variables
-- 
cgit v1.2.3