From a368260a28c098dfeb92c5c3e0b0f645b4884ea1 Mon Sep 17 00:00:00 2001
From: Brian Campbell <Brian.Campbell@ed.ac.uk>
Date: Tue, 5 Mar 2024 13:43:12 +0000
Subject: [PATCH] Fix up the no_vector tests

---
 aarch64/prelude.sail | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/aarch64/prelude.sail b/aarch64/prelude.sail
index 2e6512f95..e87e285c3 100755
--- a/aarch64/prelude.sail
+++ b/aarch64/prelude.sail
@@ -342,11 +342,6 @@ function coerce_int_nat 'x = {
 val slice = "slice" : forall ('n : Int) ('m : Int), 'm >= 0 & 'n >= 0.
   (bits('m), int, atom('n)) -> bits('n)
 
-val pow2_atom = "pow2" : forall 'n. atom('n) -> atom(2 ^ 'n)
-val pow2_int = "pow2" : int -> int
-
-overload pow2 = {pow2_atom, pow2_int}
-
 val break : unit -> unit
 
 function break () = ()