From 70426b2d22189defb1843501803e4d3ec96c7715 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Tue, 11 Jan 2022 22:57:37 +0100 Subject: [PATCH] fix bugs in refproof --- src/wip/refproof.pysty | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/wip/refproof.pysty b/src/wip/refproof.pysty index 7c30239..633ad34 100644 --- a/src/wip/refproof.pysty +++ b/src/wip/refproof.pysty @@ -119,7 +119,7 @@ __END_OPTIONS_X__ \setcounter{claim}{\FSTop{__PACKAGE_PREFIX__save@claim}} \FSPop{__PACKAGE_PREFIX__save@claim} \addtocounter{__PACKAGE_PREFIX__proofdepth}{-1} - \let\theclaim__PACKAGE_MACRO__(saved@theclaim) + \let\theclaim__PACKAGE_MACRO__(saved@theclaim) } %%% A 'smart' proof environment @@ -131,6 +131,7 @@ __END_OPTIONS_X__ \protected@edef__PACKAGE_MACRO__(dummy@expand){\arabic{claim}} \FSPush{__PACKAGE_PREFIX__save@claim}{__PACKAGE_MACRO__(dummy@expand)} \setcounter{claim}{0} + \let__PACKAGE_MACRO__(saved@theclaim)\theclaim \def\theclaim{\arabic{claim}} \ifnum\value{__PACKAGE_PREFIX__proofdepth}>1% __PACKAGE_MACRO__(saved@subproof)[% @@ -157,6 +158,8 @@ __END_OPTIONS_X__ %Restore previous claim counter \setcounter{claim}{\FSTop{__PACKAGE_PREFIX__save@claim}} \FSPop{__PACKAGE_PREFIX__save@claim} + \addtocounter{__PACKAGE_PREFIX__proofdepth}{-1} + \let\theclaim__PACKAGE_MACRO__(saved@theclaim) } }