Generating abstraction of standard cell library.

This commit is contained in:
Alan Mishchenko 2014-07-26 16:49:32 -07:00
parent 704b4bad6b
commit 674dcf2a6e
1 changed files with 1 additions and 1 deletions

View File

@ -958,7 +958,7 @@ void Nf_ManPreparePrint( int nVars, int * pComp, int * pPerm, char Line[2*720*64
for ( i = 0; i < 2; i++ )
for ( p = 0; p < nPerms; p++ )
for ( c = 0; c < nMints; c++ )
printf( "%8d : %d %3d %2d : %s\n", n, i, p, c, Line[n++] );
printf("%8d : %d %3d %2d : %s\n", n, i, p, c, Line[n]), n++;
}
void Nf_ManPrepareLibrary( Mio_Library_t * pLib )