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: [PATCH] Minor update

---
 Makefile            | 4 ++--
 backends/smv/smv.cc | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index bfe6e28c4..365b92ea4 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 
-# CONFIG := clang
-CONFIG := gcc
+CONFIG := clang
+# CONFIG := gcc
 # CONFIG := gcc-4.8
 # CONFIG := emcc
 # CONFIG := mxe
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;
 			}
-- 
2.30.2