Merge pull request #2509 from zachjs/issue-2427
authorwhitequark <whitequark@whitequark.org>
Tue, 29 Dec 2020 02:59:09 +0000 (02:59 +0000)
committerGitHub <noreply@github.com>
Tue, 29 Dec 2020 02:59:09 +0000 (02:59 +0000)
commitda1d06d7852a64e562a8a8a75aa8b4c1864bc9e7
treeba74cb19aab98d2b81a6222509e1582f81018992
parente609bc48985c07cdf8d6e4c51a08ea21c6058c34
parent750831e3e096398856053d9cbc2701e49fe0c29e
Merge pull request #2509 from zachjs/issue-2427

Fix elaboration of whole memory words used as indices