diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-06-26 17:41:15 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-06-26 17:41:15 +0100 |
| commit | 3fa012e5c3aa57fa785f354b2c1286446f8dbfb9 (patch) | |
| tree | b631ee9ad488fb5c51e24d2a2bc08d4595cd0b82 | |
| parent | 4c3c7ead980dc92cd1d1d441bedb459e4953ceef (diff) | |
Fix multiply-defined label.
| -rw-r--r-- | sec/reducer.ltx | 2 |
1 files changed, 1 insertions, 1 deletions
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} |