From bc8ab3ab44f58fc126b103f4a28dd9f6ec3fd90b Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 15 Feb 2018 15:26:37 +0100
Subject: Fix verific PRIM_SVA_AT handling in properties with
 PRIM_SVA_DISABLE_IFF

---
 frontends/verific/verific.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'frontends/verific')

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 09c379f19..fa0db1f56 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1350,7 +1350,7 @@ struct VerificSvaPP
 			return default_net;
 		}
 
-		if (inst->Type() == PRIM_SVA_AT) {
+		if (inst->Type() == PRIM_SVA_AT || inst->Type() == PRIM_SVA_DISABLE_IFF) {
 			Net *new_net = rewrite(get_ast_input2(inst));
 			if (new_net) {
 				inst->Disconnect(inst->View()->GetInput2());
-- 
cgit v1.2.3