From 6d4ad4233d3d02c99b071cbdfb421eb78b3b57d5 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: Tue, 11 Jan 2022 21:58:09 +0000
Subject: [PATCH] fix bugs in refproof

Build branch topology-1 (70426b2) from kesslermaximilian/LatexPackages
---
 build_info.json                                  | 16 ++++++++--------
 ...thematical-categories-dictionary-English.dict |  2 +-
 ...athematical-categories-dictionary-German.dict |  2 +-
 wip/mkessler-refproof.sty                        |  7 +++++--
 4 files changed, 15 insertions(+), 12 deletions(-)

diff --git a/build_info.json b/build_info.json
index 4400c85..02b709d 100644
--- a/build_info.json
+++ b/build_info.json
@@ -1,8 +1,8 @@
 {
     "build_time": "",
     "source files": {
-        "version": "v2.5.1-3-g613e169",
-        "commit": "613e16998bf1d6e76baad8e171a9ad5d23a790c3",
+        "version": "v2.5.1-4-g70426b2",
+        "commit": "70426b2d22189defb1843501803e4d3ec96c7715",
         "dirty": false
     },
     "pytex": {
@@ -44,9 +44,9 @@
         {
             "name": "mkessler-refproof.sty",
             "source file": "refproof.pysty",
-            "build time": "2022/01/11 20:41",
-            "source version": "v2.5.1-1-gda44daa",
-            "source commit hash": "da44daa271827e7dccb05e12f990638b24297b48",
+            "build time": "2022/01/11 21:58",
+            "source version": "v2.5.1-4-g70426b2",
+            "source commit hash": "70426b2d22189defb1843501803e4d3ec96c7715",
             "pytex version": "v1.2.0-16-gd1806d9",
             "pytex commit hash": "d1806d970fb0c93ba4d41d0b97efabab5415e984",
             "dirty": false
@@ -324,9 +324,9 @@
         {
             "name": "translator-mathematical-categories-dictionary-{language}.dict",
             "source file": "mathematical-categories.pydict",
-            "build time": "2022/01/11 21:17",
-            "source version": "v2.5.1-3-g613e169",
-            "source commit hash": "613e16998bf1d6e76baad8e171a9ad5d23a790c3",
+            "build time": "2022/01/11 21:58",
+            "source version": "v2.5.1-4-g70426b2",
+            "source commit hash": "70426b2d22189defb1843501803e4d3ec96c7715",
             "pytex version": "v1.2.0-16-gd1806d9",
             "pytex commit hash": "d1806d970fb0c93ba4d41d0b97efabab5415e984",
             "dirty": false
diff --git a/utils/translator-mathematical-categories-dictionary-English.dict b/utils/translator-mathematical-categories-dictionary-English.dict
index 4c6398a..5ad2ffa 100644
--- a/utils/translator-mathematical-categories-dictionary-English.dict
+++ b/utils/translator-mathematical-categories-dictionary-English.dict
@@ -27,7 +27,7 @@
 % 
 % Build details:
 %   PyTeX version: v1.2.0-16-gd1806d9 (commit d1806d9)
-%   Source code version: v2.5.1-3-g613e169 (commit 613e169)
+%   Source code version: v2.5.1-4-g70426b2 (commit 70426b2)
 % 
 % This LaTeX dictionary is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the dictionary can be
diff --git a/utils/translator-mathematical-categories-dictionary-German.dict b/utils/translator-mathematical-categories-dictionary-German.dict
index 65874fe..10818a5 100644
--- a/utils/translator-mathematical-categories-dictionary-German.dict
+++ b/utils/translator-mathematical-categories-dictionary-German.dict
@@ -27,7 +27,7 @@
 % 
 % Build details:
 %   PyTeX version: v1.2.0-16-gd1806d9 (commit d1806d9)
-%   Source code version: v2.5.1-3-g613e169 (commit 613e169)
+%   Source code version: v2.5.1-4-g70426b2 (commit 70426b2)
 % 
 % This LaTeX dictionary is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the dictionary can be
diff --git a/wip/mkessler-refproof.sty b/wip/mkessler-refproof.sty
index a99ff1d..b94448e 100644
--- a/wip/mkessler-refproof.sty
+++ b/wip/mkessler-refproof.sty
@@ -27,7 +27,7 @@
 % 
 % Build details:
 %   PyTeX version: v1.2.0-16-gd1806d9 (commit d1806d9)
-%   Source code version: v2.5.1-1-gda44daa (commit da44daa)
+%   Source code version: v2.5.1-4-g70426b2 (commit 70426b2)
 % 
 % 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
@@ -167,7 +167,7 @@
     \setcounter{claim}{\FSTop{mkessler@refproof@save@claim}}
     \FSPop{mkessler@refproof@save@claim}
     \addtocounter{mkessler@refproof@proofdepth}{-1}
-   \let\theclaim\mkessler@refproof@saved@theclaim
+    \let\theclaim\mkessler@refproof@saved@theclaim
 }
 
 %%% A 'smart' proof environment
@@ -179,6 +179,7 @@
         \protected@edef\mkessler@refproof@dummy@expand{\arabic{claim}}
         \FSPush{mkessler@refproof@save@claim}{\mkessler@refproof@dummy@expand}
         \setcounter{claim}{0}
+        \let\mkessler@refproof@saved@theclaim\theclaim
         \def\theclaim{\arabic{claim}}
         \ifnum\value{mkessler@refproof@proofdepth}>1%
             \mkessler@refproof@saved@subproof[%
@@ -205,6 +206,8 @@
         %Restore previous claim counter
         \setcounter{claim}{\FSTop{mkessler@refproof@save@claim}}
         \FSPop{mkessler@refproof@save@claim}
+        \addtocounter{mkessler@refproof@proofdepth}{-1}
+        \let\theclaim\mkessler@refproof@saved@theclaim
     }
 }