diff options
| author | Robert Norton | 2016-05-09 17:26:51 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-09 17:26:51 +0100 |
| commit | 1436e658046c21e6f4435289c20a69174aee13de (patch) | |
| tree | 5436973ac71cd2a0d6703a8df9911fbaaa495c42 /src | |
| parent | 75f573a90e3b658bed20fd2c8257ecf36b7d476a (diff) | |
explicitly give result value for slti to workaround probable sail bug producing '?'
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions