diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-29 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-29 08:01:00 -0700 |
| commit | 2b85f5ba649bcc81873697718fe8a9085d09c31d (patch) | |
| tree | 66acda3d3e1bdfb224588ffe4b3ebf2737649101 /src/sat/csat | |
| parent | 3c25decf65704916943b0569e6d0608072550a89 (diff) | |
| download | abc-2b85f5ba649bcc81873697718fe8a9085d09c31d.tar.gz abc-2b85f5ba649bcc81873697718fe8a9085d09c31d.tar.bz2 abc-2b85f5ba649bcc81873697718fe8a9085d09c31d.zip | |
Version abc50829
Diffstat (limited to 'src/sat/csat')
| -rw-r--r-- | src/sat/csat/csat_apis.c | 2 | ||||
| -rw-r--r-- | src/sat/csat/module.make | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/sat/csat/csat_apis.c b/src/sat/csat/csat_apis.c index eddd7270..242de8e2 100644 --- a/src/sat/csat/csat_apis.c +++ b/src/sat/csat/csat_apis.c @@ -69,7 +69,7 @@ CSAT_Manager CSAT_InitManager() CSAT_Manager_t * mng; mng = ALLOC( CSAT_Manager_t, 1 ); memset( mng, 0, sizeof(CSAT_Manager_t) ); - mng->pNtk = Abc_NtkAlloc( ABC_NTK_LOGIC_SOP ); + mng->pNtk = Abc_NtkAlloc( ABC_TYPE_LOGIC, ABC_FUNC_SOP ); mng->pNtk->pName = util_strsav("csat_network"); mng->tName2Node = stmm_init_table(strcmp, stmm_strhash); mng->vNodes = Vec_PtrAlloc( 100 ); diff --git a/src/sat/csat/module.make b/src/sat/csat/module.make new file mode 100644 index 00000000..5b71a03c --- /dev/null +++ b/src/sat/csat/module.make @@ -0,0 +1 @@ +SRC += src/sat/csat/csat_apis.c |