From f829eca5483d4bec52bc1f090f8e7def180b3454 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 2 Nov 2012 11:02:24 -0700
Subject: Changing default parameter in &if.

---
 src/aig/gia/giaIf.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig')

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index deab1a60..463732a4 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -66,7 +66,7 @@ void Gia_ManSetIfParsDefault( void * pp )
     p->fPreprocess =  1;
     p->fArea       =  0;
     p->fFancy      =  0;
-    p->fExpRed     =  0; ////
+    p->fExpRed     =  1; ////
     p->fLatchPaths =  0;
     p->fEdge       =  1;
     p->fPower      =  0;
-- 
cgit v1.2.3