diff options
| -rw-r--r-- | rulesinput.tex | 2 | ||||
| -rw-r--r-- | rulesoutput.tex | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/rulesinput.tex b/rulesinput.tex index e9dd23f..2e59ddf 100644 --- a/rulesinput.tex +++ b/rulesinput.tex @@ -37,7 +37,7 @@ $$ {\ip''}{\op}{\st} \using{\rinputns} \qquad - \text{met $(\val,\ip')=\pop\ip$} + \text{met $(\val,\ip')=\pop\ip$.} \end{prooftree} $$ 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 $$ |