diff options
Diffstat (limited to 'rulespush.tex')
| -rw-r--r-- | rulespush.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rulespush.tex b/rulespush.tex index 3362b50..9c973f5 100644 --- a/rulespush.tex +++ b/rulespush.tex @@ -14,7 +14,7 @@ Dit geeft de volgende regel: $$ \begin{prooftree} \trans - {\pgm}{\ip}{(\push(\unescape(String)\stk), \str)} + {\pgm}{\ip}{(\push{String}{\stk}), \str)} {\ip}{\op}{\st} \justifies \trans |