diff options
Diffstat (limited to 'src/opt/cut/cutOracle.c')
-rw-r--r-- | src/opt/cut/cutOracle.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/cut/cutOracle.c b/src/opt/cut/cutOracle.c index cad0069a..8e1ad3da 100644 --- a/src/opt/cut/cutOracle.c +++ b/src/opt/cut/cutOracle.c @@ -366,7 +366,7 @@ Cut_Cut_t * Cut_OracleComputeCuts( Cut_Oracle_t * p, int Node, int Node0, int No ppTail = &pCut->pNext; // compute the truth table if ( p->pParams->fTruth ) - Cut_TruthCompute( pCut, pCut0, pCut1, fCompl0, fCompl1 ); + Cut_TruthComputeOld( pCut, pCut0, pCut1, fCompl0, fCompl1 ); } *ppTail = NULL; |