From ea1baf6f70baec775086b0bff57a27f720ca870d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 15 Feb 2014 16:54:08 -0800
Subject: Changing 'miter' to compute SEQUENTIAL miter by default.

---
 src/base/abci/abc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 884c1901..1b53285a 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -6482,7 +6482,7 @@ int Abc_CommandMiter( Abc_Frame_t * pAbc, int argc, char ** argv )
     pNtk = Abc_FrameReadNtk(pAbc);
 
     // set defaults
-    fComb  = 1;
+    fComb  = 0;
     fCheck = 1;
     fImplic = 0;
     fMulti = 0;
-- 
cgit v1.2.3