diff options
| author | Brian Campbell | 2018-07-09 17:15:56 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-09 17:17:42 +0100 |
| commit | c0cace93c93260a5ba2ff8e4df962797247d5a60 (patch) | |
| tree | 26ab3c47078c6a18caa6f170be4dc098d39cf582 /aarch64 | |
| parent | 936f1beb2bbc9db6182ba8b706668e146c3657d9 (diff) | |
Remove awkward constraints on GetSlice_int for now
Diffstat (limited to 'aarch64')
| -rwxr-xr-x | aarch64/prelude.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/aarch64/prelude.sail b/aarch64/prelude.sail index 6837c366..65109485 100755 --- a/aarch64/prelude.sail +++ b/aarch64/prelude.sail @@ -151,9 +151,9 @@ val __SetSlice_int = "set_slice_int" : forall 'w. (atom('w), int, int, bits('w)) val __raw_SetSlice_int : forall 'w. (atom('w), int, int, bits('w)) -> int -val __raw_GetSlice_int = "get_slice_int" : forall 'w, 'w >= 0. (atom('w), int, int) -> bits('w) +val __raw_GetSlice_int = "get_slice_int" : forall 'w /*, 'w >= 0*/. (atom('w), int, int) -> bits('w) -val __GetSlice_int : forall 'n, 'n >= 0. (atom('n), int, int) -> bits('n) +val __GetSlice_int : forall 'n /*, 'n >= 0*/. (atom('n), int, int) -> bits('n) function __GetSlice_int (n, m, o) = __raw_GetSlice_int(n, m, o) |