From d3604c52e19e4e71965b5d96d6fab879bac7effc Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 6 Oct 2017 17:56:30 +0100
Subject: Remove BK_effect constructor

---
 test/typecheck/pass/nzcv.sail | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'test/typecheck')

diff --git a/test/typecheck/pass/nzcv.sail b/test/typecheck/pass/nzcv.sail
index a477cd97..3e23e529 100644
--- a/test/typecheck/pass/nzcv.sail
+++ b/test/typecheck/pass/nzcv.sail
@@ -4,6 +4,10 @@ val bit[4] -> unit effect pure test
 
 function test nzcv =
 {
+  N := 0b0;
+  Z := 0b0;
+  C := 0b0;
+  V := 0b0;
   (N,Z,C,V) := nzcv;
   ()
 }
-- 
cgit v1.2.3