diff options
| author | Camil Staps | 2016-04-28 15:52:32 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-04-28 15:52:32 +0200 |
| commit | c697fd5eb6fa353399bf60fa6094ae33d51376f3 (patch) | |
| tree | e59bad0a66f41b164c7b106fde103d486edc1ff4 | |
| parent | Head regel (diff) | |
Fix Get regel
| -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 |