diff options
Diffstat (limited to 'ruleshead.tex')
| -rw-r--r-- | ruleshead.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ruleshead.tex b/ruleshead.tex index ce321db..53b4bf2 100644 --- a/ruleshead.tex +++ b/ruleshead.tex @@ -16,7 +16,7 @@ Dit geeft de volgende regel: $$ \begin{prooftree} \trans - {\pgm}{\ip}{(\push{s}{\stk'}, \str)} + {\pgm}{\ip}{(\push{c}{\stk'}, \str)} {\ip'}{\op}{\st} \justifies \trans |