diff options
Diffstat (limited to 'rulesput.tex')
| -rw-r--r-- | rulesput.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rulesput.tex b/rulesput.tex index 959fec8..3a8fd05 100644 --- a/rulesput.tex +++ b/rulesput.tex @@ -24,8 +24,8 @@ $$ \using{\rputns} \qquad \text{met\enspace - \parbox{36mm}{$(\var,\stk') = \pop{\stk}$,\\$(\val,\stk'') = \pop{\stk'}$.} - } + \parbox{36mm}{$\pop{\stk} = (\var,\stk')$, + \\$\pop{\stk'}= (\val,\stk'')$.}} \end{prooftree} $$ |