diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaScript.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaScript.c b/src/aig/gia/giaScript.c index be5720dd..042aef52 100644 --- a/src/aig/gia/giaScript.c +++ b/src/aig/gia/giaScript.c @@ -496,7 +496,7 @@ void Gia_ManPerformFlow2( int fIsMapped, int nAnds, int nLevels, int nLutSize, i char Comm1[100], Comm2[100], Comm3[100], Comm4[100]; sprintf( Comm1, "&synch2 -K %d; &if -m -K %d -C %d; &save", nLutSize, nLutSize, nCutNum ); sprintf( Comm2, "&dch -f; &if -m -K %d -C %d; &save", nLutSize, nCutNum+4 ); - sprintf( Comm3, "&synch2 -K %d; &lf -mk -E 5 -K %d -C %d; &save", nLutSize, nLutSize, nCutNum ); + sprintf( Comm3, "&synch2 -K %d; &lf -m -E 5 -K %d -C %d; &save", nLutSize, nLutSize, nCutNum ); sprintf( Comm4, "&dch -f; &lf -mk -E 5 -K %d -C %d; &save", nLutSize, nCutNum+4 ); // perform synthesis |