diff options
Diffstat (limited to 'src/opt/cut/cutPre22.c')
| -rw-r--r-- | src/opt/cut/cutPre22.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/cut/cutPre22.c b/src/opt/cut/cutPre22.c index fdb9bd8c..d51d9056 100644 --- a/src/opt/cut/cutPre22.c +++ b/src/opt/cut/cutPre22.c @@ -192,7 +192,7 @@ void Cut_CellLoad() // derive the cell pCell = (Cut_Cell_t *)Extra_MmFixedEntryFetch( p->pMem ); memset( pCell, 0, sizeof(Cut_Cell_t) ); - pCell->nVars = Extra_Base2Log(Length*4); + pCell->nVars = Abc_Base2Log(Length*4); pCell->nUsed = 1; // Extra_TruthCopy( pCell->uTruth, pTruth, nVars ); Extra_ReadHexadecimal( pCell->uTruth, pString, pCell->nVars ); |