diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-13 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-13 08:01:00 -0700 |
| commit | 0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa (patch) | |
| tree | dd738a8c91f5baf754e6b8bc1c203c5b2f49b69d /src/sat/csat | |
| parent | c065b2c5daea65cb98659aa1bb56a138ca7cc290 (diff) | |
| download | abc-0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa.tar.gz abc-0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa.tar.bz2 abc-0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa.zip | |
Version abc50913
Diffstat (limited to 'src/sat/csat')
| -rw-r--r-- | src/sat/csat/csat_apis.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/csat/csat_apis.c b/src/sat/csat/csat_apis.c index 37822383..1f324c4b 100644 --- a/src/sat/csat/csat_apis.c +++ b/src/sat/csat/csat_apis.c @@ -72,7 +72,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_TYPE_LOGIC, ABC_FUNC_SOP ); + mng->pNtk = Abc_NtkAlloc( ABC_NTK_LOGIC, ABC_FUNC_SOP ); mng->pNtk->pName = util_strsav("csat_network"); mng->tName2Node = stmm_init_table(strcmp, stmm_strhash); mng->tNode2Name = stmm_init_table(stmm_ptrcmp, stmm_ptrhash); |