From 0d56f6be9e2e437c570da05b1c8cdc25eb24912c Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 9 May 2018 16:55:58 +0100
Subject: Fix an issue with C compilation

---
 aarch64/no_vector/spec.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'aarch64')

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
 }
-- 
cgit v1.2.3