diff options
| author | Evi | 2016-04-29 16:20:46 +0200 |
|---|---|---|
| committer | Evi | 2016-04-29 16:20:46 +0200 |
| commit | a6dc11860f547c322986dc42e89e9a30dfe092e3 (patch) | |
| tree | 2bd603497a43ee440242a20646c8731c772a67c5 /rulespush.tex | |
| parent | Nog een var (diff) | |
quotify
gedeeltelijke uitwerking quotify
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 |