snu-sf-class/sf202301

오타 `t.snd` -> `fix t`

Closed this issue · 1 comments

Zeta611 commented

sf202301/assignments/6-Smallstep_MoreStlc/D.v

Line 589 in 56683cf

appears_free_in x <{t.snd}>

t.snd이 아니라 fix t 아닌가요?

hilyun07 commented

네 맞습니다.