diff options
Diffstat (limited to 'aarch64/no_vector/spec.sail')
| -rw-r--r-- | aarch64/no_vector/spec.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64/no_vector/spec.sail b/aarch64/no_vector/spec.sail index 4da6fa33..8710e66b 100644 --- a/aarch64/no_vector/spec.sail +++ b/aarch64/no_vector/spec.sail @@ -2608,7 +2608,7 @@ function ComputePAC (data, modifier, key0, key1) = { val Align__0 : (int, int) -> int -val Align__1 = {c: "arm_align"} : forall ('N : Int), 'N >= 0 & 'N >= 0. (bits('N), int) -> bits('N) +val Align__1 : forall ('N : Int), 'N >= 0 & 'N >= 0. (bits('N), int) -> bits('N) overload Align = {Align__0, Align__1} |