diff options
Diffstat (limited to 'rulescat.tex')
| -rw-r--r-- | rulescat.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rulescat.tex b/rulescat.tex index 48dcddf..f36f0ec 100644 --- a/rulescat.tex +++ b/rulescat.tex @@ -16,7 +16,7 @@ Dit geeft de volgende regel: $$ \begin{prooftree} \trans - {\pgm}{\ip}{(\push{s1~s2}{\stk''}, \str)} + {\pgm}{\ip}{(\push{s_1~s_2}{\stk''}, \str)} {\ip'}{\op}{\st} \justifies \trans |