From 0011cb2270c4b0b3c4301432dd87d63ffd0ca3f3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Mon, 10 Jan 2022 00:11:01 +0100
Subject: [PATCH] remove (debug) \proofdepth macro

---
 src/wip/refproof.pysty | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/wip/refproof.pysty b/src/wip/refproof.pysty
index f7e20ce..a51bf3c 100644
--- a/src/wip/refproof.pysty
+++ b/src/wip/refproof.pysty
@@ -122,8 +122,6 @@ __END_OPTIONS_X__
    \let\theclaim__PACKAGE_MACRO__(saved@theclaim)
 }
 
-\def\proofdepth{Depth:~\the__PACKAGE_PREFIX__proofdepth}
-
 %%% A 'smart' proof environment
 \AtBeginDocument{
     \RenewDocumentEnvironment{proof}{s o}