summaryrefslogtreecommitdiff
path: root/rulesoutput.tex
diff options
context:
space:
mode:
authorCamil Staps2016-04-29 15:48:13 +0200
committerCamil Staps2016-04-29 15:48:13 +0200
commit451fb34423cb5c1a6c1993785b728ad0ef21e1c8 (patch)
tree30bb590082f85671ea90b6f11540b211e75fe955 /rulesoutput.tex
parentMerge 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.tex4
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
$$