From 264898f2ae2aa9d4687d8a06bffa404a69975739 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler=20=28via=20gitlab=20runner=29?=
 <git@maximilian-kessler.de>
Date: Sun, 9 Jan 2022 19:21:33 +0000
Subject: [PATCH] fix infinite recursion bug in claim counter. fix some spacing

Build branch master (47449c5) from kesslermaximilian/LatexPackages
---
 build_info.json           | 10 +++++-----
 wip/mkessler-refproof.sty | 25 ++++++++++++-------------
 2 files changed, 17 insertions(+), 18 deletions(-)

diff --git a/build_info.json b/build_info.json
index 0d62976..a6b0eaf 100644
--- a/build_info.json
+++ b/build_info.json
@@ -1,8 +1,8 @@
 {
     "build_time": "",
     "source files": {
-        "version": "v2.4.4",
-        "commit": "f4d079796adaa242d653de943b548a88fe9047ec",
+        "version": "v2.4.4-1-g47449c5",
+        "commit": "47449c57cba8fb88e34a93f1427d697895039fdc",
         "dirty": false
     },
     "pytex": {
@@ -44,9 +44,9 @@
         {
             "name": "mkessler-refproof.sty",
             "source file": "refproof.pysty",
-            "build time": "2022/01/09 14:44",
-            "source version": "v2.4.4",
-            "source commit hash": "f4d079796adaa242d653de943b548a88fe9047ec",
+            "build time": "2022/01/09 19:21",
+            "source version": "v2.4.4-1-g47449c5",
+            "source commit hash": "47449c57cba8fb88e34a93f1427d697895039fdc",
             "pytex version": "v1.2.0-3-g5e077e7",
             "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
diff --git a/wip/mkessler-refproof.sty b/wip/mkessler-refproof.sty
index 7431b84..de7e1ec 100644
--- a/wip/mkessler-refproof.sty
+++ b/wip/mkessler-refproof.sty
@@ -27,7 +27,7 @@
 % 
 % Build details:
 %   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
-%   Source code version: v2.4.4 (commit f4d0797)
+%   Source code version: v2.4.4-1-g47449c5 (commit 47449c5)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -131,28 +131,27 @@
     \ifcsdef{themkessler@refproof@#2@save@claim}{
         \setcounter{claim}{\value{mkessler@refproof@#2@save@claim}}
         \def\mkessler@refproof@proofprefix{
-            \IfBooleanTF{#1}{
-                \translate{Continuation of proof* of}
-            }{
-                \translate{Continuation of proof of}
+            \IfBooleanTF{#1}{%
+                \translate{Continuation of proof* of}%
+            }{%
+                \translate{Continuation of proof of}%
             }
         }
     }{
         \newcounter{mkessler@refproof@#2@save@claim}
         \setcounter{claim}{0}
-        \def\mkessler@refproof@proofprefix{
-            \IfBooleanTF{#1}{
-                \translate{Proof* of}
-            }{
-                \translate{Proof of}
+        \def\mkessler@refproof@proofprefix{%
+            \IfBooleanTF{#1}{%
+                \translate{Proof* of}%
+            }{%
+                \translate{Proof of}%
             }
         }
     }
     % Set up counter number printing as subindexed by numbering of the reference
-    \let\mkessler@refproof@theoldclaim\theclaim
-    \def\theclaim{\getrefnumber{#2}.\mkessler@refproof@theoldclaim}
+    \def\theclaim{\getrefnumber{#2}.\arabic{claim}}
     % Now, start the actual proof
-    \mkessler@refproof@saved@proof[
+    \mkessler@refproof@saved@proof[%
         \mkessler@refproof@proofprefix\space\mkessler@refproof@autoref{#2}%
         \IfValueT{#3}{\space(#3)}%
     ]