From fc67ef99efaf296549d3106910f46aeabea67fdd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Mon, 31 Jan 2022 20:25:37 +0100
Subject: [PATCH] groupthm: correct incremental building

  ignore definitions from aux file in case of version change
---
 src/environments/groupthm/groupthm.dtx | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

diff --git a/src/environments/groupthm/groupthm.dtx b/src/environments/groupthm/groupthm.dtx
index 1af511b..2d37775 100644
--- a/src/environments/groupthm/groupthm.dtx
+++ b/src/environments/groupthm/groupthm.dtx
@@ -2671,7 +2671,7 @@
 %    \begin{macrocode}
   \hook_gput_code:nnn { begindocument } { groupthm }
     {
-      \bool_if:nTF
+      \bool_if:nT
         {
           \g_@@_cache_bool
           &&
@@ -2699,6 +2699,24 @@
         \token_to_str:N \ExplSyntaxOn
         \int_gset:Nn \g_@@_cache_version_aux_int
           { \int_use:N \g_@@_cache_version_document_int }
+      }
+    \iow_now:cn { @auxout }
+      {
+        \bool_if:nT
+          {
+            \g_@@_cache_bool
+            &&
+            \int_compare_p:n
+              {
+                \g_@@_cache_version_aux_int < \g_@@_cache_version_document_int
+              }
+          }
+          {
+            \cs_set_eq:NN \@@_thmtools_declare_theorem:nn \use_none:nn
+          }
+      }
+    \iow_now:cx { @auxout }
+      {
         \token_to_str:N \ExplSyntaxOff
       }
   }