diff options
Diffstat (limited to 'sec')
| -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} |