diff options
| author | Robert Norton | 2016-04-18 17:32:04 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-18 17:34:00 +0100 |
| commit | ff9b7c7f3a769d1fc0779b2ca4a68a9624f0dad7 (patch) | |
| tree | 02784f1d377df10c0cccaa1c62a8590b6d6b64a1 /src/util.mli | |
| parent | 0a1c02598bbf5499dd802138eac9fb102bfe5e5e (diff) | |
cheri: explicitly specify vector for comparison in cincoffset to work around unexpected sail behaviour with implicit cast form literal 0.
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions