diff options
| -rw-r--r-- | rulesget.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rulesget.tex b/rulesget.tex index f8810a7..6068194 100644 --- a/rulesget.tex +++ b/rulesget.tex @@ -13,7 +13,7 @@ $\StmGet$ geen IO gebruikt kunnen we $\ip$, $\ip'$ en $\op$ direct doorgeven. $$ \begin{prooftree} \trans - {\pgm}{\ip}{(\push{\str~\var}{\stk}, \str)} + {\pgm}{\ip}{(\push{\str~\var}{\stk'}, \str)} {\ip'}{\op}{\st} \justifies \trans |