diff options
Diffstat (limited to 'src/opt/dec/decFactor.c')
| -rw-r--r-- | src/opt/dec/decFactor.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/opt/dec/decFactor.c b/src/opt/dec/decFactor.c index aa9d9c8a..06ccf9ca 100644 --- a/src/opt/dec/decFactor.c +++ b/src/opt/dec/decFactor.c @@ -366,7 +366,8 @@ Mvc_Cover_t * Dec_ConvertSopToMvc( char * pSop ) ***********************************************************************/ int Dec_FactorVerify( char * pSop, Dec_Graph_t * pFForm ) { - extern DdNode * Dec_GraphDeriveBdd( DdManager * dd, Dec_Graph_t * pGraph ); + extern DdNode * Abc_ConvertSopToBdd( DdManager * dd, char * pSop ); + extern DdNode * Dec_GraphDeriveBdd( DdManager * dd, Dec_Graph_t * pGraph ); DdManager * dd = (DdManager *)Abc_FrameReadManDd(); DdNode * bFunc1, * bFunc2; int RetValue; |