summaryrefslogtreecommitdiff
path: root/mips/mips_extras_ml.ml
diff options
context:
space:
mode:
authorRobert Norton2017-04-05 11:36:12 +0100
committerRobert Norton2017-04-06 12:35:10 +0100
commitb50cf34a6e700b70b12f9c4bfe81a6c0b703198b (patch)
tree48ff959a6b2d5d6facc314a432922695bfdcb995 /mips/mips_extras_ml.ml
parentc7b9060464ead8fac71824b151c25a968cb25302 (diff)
Print registers in test suite compatible way.
Diffstat (limited to 'mips/mips_extras_ml.ml')
0 files changed, 0 insertions, 0 deletions