[강동옥]

SM5 뼈대코드의 k.ml 파일에 구현된 for 문의 실행 방식이, 문서에 명시된 semantics와 일치하지 않는 버그가 있었습니다. 자세한 것은 다음 글을 참고해 주시기 바랍니다.
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4552

변역 과제를 할 때 K--의 semantics는 스펙 문서를 기준으로 하여 진행해 주시기 바랍니다. 스펙 문서에 맞게 버그를 수정한 k.ml 파일도 위 게시글에서 다운로드할 수 있습니다.