diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-01-21 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-01-21 08:01:00 -0800 |
| commit | d4fecf91efcd090caa9a5cbfb05059361e84c4ec (patch) | |
| tree | 87dfc18934e7460a3be8c7cea0a587756e66aeb2 /src/map/if/ifMan.c | |
| parent | 61850d5942fcff634b16696bf3ca7ee0fc465d1c (diff) | |
| download | abc-d4fecf91efcd090caa9a5cbfb05059361e84c4ec.tar.gz abc-d4fecf91efcd090caa9a5cbfb05059361e84c4ec.tar.bz2 abc-d4fecf91efcd090caa9a5cbfb05059361e84c4ec.zip | |
Version abc80121
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 50ce63e9..977d69c9 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -68,8 +68,8 @@ If_Man_t * If_ManStart( If_Par_t * pPars ) // p->pMemSet = Mem_FixedStart( p->nSetBytes ); // report expected memory usage if ( p->pPars->fVerbose ) - printf( "Memory (bytes): Truth = %4d. Cut = %4d. Obj = %4d. Set = %4d.\n", - 4 * p->nTruthWords, p->nCutBytes, p->nObjBytes, p->nSetBytes ); + printf( "K = %d. Memory (bytes): Truth = %4d. Cut = %4d. Obj = %4d. Set = %4d.\n", + p->pPars->nLutSize, 4 * p->nTruthWords, p->nCutBytes, p->nObjBytes, p->nSetBytes ); // room for temporary truth tables p->puTemp[0] = p->pPars->fTruth? ALLOC( unsigned, 4 * p->nTruthWords ) : NULL; p->puTemp[1] = p->puTemp[0] + p->nTruthWords; |