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}