[FMFP] Fix error from comments

2026-09-10 19:15:25 +02:00 · 2026-08-04 15:44:37 +02:00
parent 3fef2e772b
commit 2e78edd47a
2 changed files with 1 additions and 1 deletions
@@ -26,7 +26,7 @@
    \end{prooftree}
    \qquad
    \begin{prooftree}
-        \hypo{\langle s, \sigma \rangle \rightarrow \sigma'}
+        \hypo{\langle s', \sigma \rangle \rightarrow \sigma'}
        \infer1[\textsc{IfF}$_{NS}$]{\langle \texttt{if}\; b \; \texttt{then} \; s \; \texttt{else} \; s' \; \texttt{end}, \sigma \rangle \rightarrow \sigma'}
    \end{prooftree}
 \]