Minor update

diff --git a/Makefile b/Makefile
index bfe6e28c49f78538d4b13bca7afb4d56153d5546..365b92ea4947acb5584379c2401d101439a585c6 100644 (file)
--- 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 a53ee7a7c0355d16ad38f9c30161ac2fe18394ca..f379c9c4866bed5dd1889006f7ccfb6fcd63dddf 100644 (file)
--- 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;
                        }