diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaIf.c | 2 |
1 files changed, 1 insertions, 1 deletions
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; |