diff options
| author | Camil Staps | 2016-04-29 15:48:13 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-04-29 15:48:13 +0200 |
| commit | 451fb34423cb5c1a6c1993785b728ad0ef21e1c8 (patch) | |
| tree | 30bb590082f85671ea90b6f11540b211e75fe955 /rulesoutput.tex | |
| parent | Merge branch 'master' of github.com:W-M-T/Berekeningsmodellen-IBC025---voorja... (diff) | |
\var is voor variabelen
Diffstat (limited to 'rulesoutput.tex')
| -rw-r--r-- | rulesoutput.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rulesoutput.tex b/rulesoutput.tex index 7bdc741..57e7bbe 100644 --- a/rulesoutput.tex +++ b/rulesoutput.tex @@ -19,10 +19,10 @@ $$ \justifies \trans {\StmOutput:\pgm}{\ip}{(\stk,\str)} - {\ip'}{[\op:[var:\Nil]]}{\st} + {\ip'}{[\op:[s:\Nil]]}{\st} \using{\routputns} \qquad - \text{met $(\var,\stk') = \pop{\stk}$.} + \text{met $(s,\stk') = \pop{\stk}$.} \endprooftree $$ |