summaryrefslogtreecommitdiff
path: root/src/lem_interp/instruction_extractor.lem
diff options
context:
space:
mode:
authorRobert Norton2016-02-03 13:03:03 +0000
committerRobert Norton2016-02-03 13:03:03 +0000
commit0d1efff471dd005b40da962a0d856d3310e16294 (patch)
tree5f258891475a58b940631fe79a983de433cb88ce /src/lem_interp/instruction_extractor.lem
parent713c429ca2d797df4a7e3dedb02f903b33cdb00e (diff)
mips_extras.lem: fix typo in spelling of MEM_sync.
Diffstat (limited to 'src/lem_interp/instruction_extractor.lem')
0 files changed, 0 insertions, 0 deletions