diff options
| author | Robert Norton | 2016-04-18 18:04:21 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-18 18:16:19 +0100 |
| commit | 2bf8f99f6982a78e6f8e2f9fc18384b1a8ccbccc (patch) | |
| tree | 782616a25922efc21bb0f661bc04ef6af2920fad /src/sail_lib.ml | |
| parent | c557c893609b7b378bd4fd5d3f5873433f44323d (diff) | |
cheri: use signed() rather than casting to int as advised by kathy. This has the advantage of actually doing what I want.
Diffstat (limited to 'src/sail_lib.ml')
0 files changed, 0 insertions, 0 deletions