diff options
| author | Thomas Bauereiss | 2017-05-10 16:10:28 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-05-10 16:10:28 +0100 |
| commit | fffcaaa390eaf03db689d0f108cc00653a41885d (patch) | |
| tree | f62ac8e64857715459b68dcd7891296b170ce71e /src | |
| parent | 5984dca66a9a5f25077b8451796f08639479b489 (diff) | |
Fix type error in CGetLen
For some reason, Lem did not like the call to "min" when exporting to Isabelle.
Replacing "min" with an if-then-else expression solves this. This is also in
line with the CHERI spec, which actually uses an if block.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions