From 3fa012e5c3aa57fa785f354b2c1286446f8dbfb9 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Thu, 26 Jun 2025 17:41:15 +0100
Subject: Fix multiply-defined label.

---
 sec/reducer.ltx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sec/reducer.ltx b/sec/reducer.ltx
index 114647a..1e5757b 100644
--- a/sec/reducer.ltx
+++ b/sec/reducer.ltx
@@ -117,7 +117,7 @@ let step (t : Term) : Term =
         }
     }
   \end{verbatim}
-  \caption{Implementation of complete development.}\label{lst:rename}
+  \caption{Implementation of complete development.}\label{lst:step}
 \end{listing}
 
 \TODO{explain why fuel is necessary for the reducer}
-- 
cgit v1.2.3