diff options
| author | Alasdair Armstrong | 2018-05-09 16:55:58 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-05-09 16:56:16 +0100 |
| commit | 0d56f6be9e2e437c570da05b1c8cdc25eb24912c (patch) | |
| tree | 4fdc1230bf8731bb4a00177d42d910713c923bca /aarch64 | |
| parent | c498c8a7f8d448dcefd1692e7562878cc6feb62b (diff) | |
Fix an issue with C compilation
Diffstat (limited to 'aarch64')
| -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 024393ad..775800f3 100644 --- a/aarch64/no_vector/spec.sail +++ b/aarch64/no_vector/spec.sail @@ -1374,7 +1374,7 @@ function AArch64_SysRegWrite ('op0, 'op1, 'crn, 'crm, 'op2, val_name) = assert(f val AArch64_SysRegRead : (int, int, int, int, int) -> bits(64) effect {escape, undef} -function AArch64_SysRegRead _ = { +function AArch64_SysRegRead(_, _, _, _, _) = { assert(false, "Tried to read system register"); undefined } |