summaryrefslogtreecommitdiffstats
path: root/src/sat/csat
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2005-09-13 08:01:00 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2005-09-13 08:01:00 -0700
commit0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa (patch)
treedd738a8c91f5baf754e6b8bc1c203c5b2f49b69d /src/sat/csat
parentc065b2c5daea65cb98659aa1bb56a138ca7cc290 (diff)
downloadabc-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.c2
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);