From df325dfefda5d7ffbfd3870c2af0378cb3862e07 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 18 Jul 2019 17:57:42 +0100
Subject: Add a feature flag for barrier type change

Fix SMT mem_builtin test case
---
 lib/regfp.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/regfp.sail b/lib/regfp.sail
index e9c85ba8..a4af8ef7 100644
--- a/lib/regfp.sail
+++ b/lib/regfp.sail
@@ -73,7 +73,7 @@ enum a64_barrier_type = {
   A64_barrier_ST
 }
 
-$ifdef AARCH64_SMALL
+$ifdef FEATURE_UNION_BARRIER
 union barrier_kind = {
   Barrier_Sync : unit,
   Barrier_LwSync : unit,
-- 
cgit v1.2.3