From 749b3ed62a8665f756267fafd7520beb55570df5 Mon Sep 17 00:00:00 2001
From: Aman Goel <amangoel@umich.edu>
Date: Mon, 15 Oct 2018 13:54:12 -0400
Subject: Minor update

---
 backends/smv/smv.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backends')

diff --git a/backends/smv/smv.cc b/backends/smv/smv.cc
index a53ee7a7c..f379c9c48 100644
--- a/backends/smv/smv.cc
+++ b/backends/smv/smv.cc
@@ -232,7 +232,7 @@ struct SmvWorker
 				SigSpec sig_a = cell->getPort("\\A");
 				SigSpec sig_en = cell->getPort("\\EN");
 
-				invarspecs.push_back(stringf("(!bool(%s) | bool(%s));", rvalue(sig_en), rvalue(sig_a)));
+				invarspecs.push_back(stringf("!bool(%s) | bool(%s);", rvalue(sig_en), rvalue(sig_a)));
 
 				continue;
 			}
-- 
cgit v1.2.3