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