From c7436f94a396adbdedf8fddf53a2b8242bcf09ee Mon Sep 17 00:00:00 2001
From: Jon French
Date: Mon, 13 May 2019 16:33:30 +0100
Subject: aarch64_small: remove spurious extra declaration of _rPC

---
 aarch64_small/armV8_A64_lib.sail | 1 -
 1 file changed, 1 deletion(-)

diff --git a/aarch64_small/armV8_A64_lib.sail b/aarch64_small/armV8_A64_lib.sail
index cc65a03e..8c684fc7 100644
--- a/aarch64_small/armV8_A64_lib.sail
+++ b/aarch64_small/armV8_A64_lib.sail
@@ -504,7 +504,6 @@ function AArch64_ResetSpecialRegisters() -> unit =
 
 /** FUNCTION:aarch64/functions/registers/PC */
 
-val rPC : unit -> bits(64) effect {rreg}
 function rPC () = _PC
 
 /** FUNCTION:// SP[] - assignment form */
-- 
cgit v1.2.3