From: Aman Goel <amangoel@umich.edu>
Date: Mon, 15 Oct 2018 17:54:12 +0000 (-0400)
Subject: Minor update
X-Git-Tag: yosys-0.9~446^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=749b3ed62a8665f756267fafd7520beb55570df5;p=yosys.git

Minor update
---

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;
 			}