diff options
Diffstat (limited to 'rule-defs.tex')
| -rw-r--r-- | rule-defs.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rule-defs.tex b/rule-defs.tex index d77cff8..ee383a1 100644 --- a/rule-defs.tex +++ b/rule-defs.tex @@ -124,7 +124,7 @@ $$} \def\rputnstree{ \trans - {\pgm}{\ip}{(\stk'', \put\var\val\str)} + {\pgm}{\ip}{(\stk'', \smurfput\var\val\str)} {\ip'}{\op}{\st} \justifies \trans |