diff options
Diffstat (limited to 'src/aig/cnf/cnfData.c')
| -rw-r--r-- | src/aig/cnf/cnfData.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/cnf/cnfData.c b/src/aig/cnf/cnfData.c index 57ce9392..7b8be51e 100644 --- a/src/aig/cnf/cnfData.c +++ b/src/aig/cnf/cnfData.c @@ -4614,7 +4614,7 @@ void Cnf_ReadMsops( char ** ppSopSizes, char *** ppSops ) SeeAlso [] ***********************************************************************/ -int Dar_ManDeriveCnfTest() +int Aig_ManDeriveCnfTest() { int i, k, Lit; printf( "\n" ); @@ -4644,7 +4644,7 @@ int Dar_ManDeriveCnfTest() SeeAlso [] ***********************************************************************/ -int Dar_ManDeriveCnfTest2() +int Aig_ManDeriveCnfTest2() { char s_Data3[81] = "!#&()*+,-.0123456789:;<=>?ABCDEFGHIJKLMNOPQRSTUVWXYZ[]abcdefghijklmnopqrstuvwxyz|"; |