diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-08-23 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-08-23 08:01:00 -0700 |
| commit | 7b09d2d28aa81916f9c06f0993f2569a7ad18596 (patch) | |
| tree | 7f9203d4a804fb4db2ae5d962166470360b1f27f /src/sat/csat | |
| parent | 956842d9cc321eee3907889b820132e6e2b5ec62 (diff) | |
| download | abc-7b09d2d28aa81916f9c06f0993f2569a7ad18596.tar.gz abc-7b09d2d28aa81916f9c06f0993f2569a7ad18596.tar.bz2 abc-7b09d2d28aa81916f9c06f0993f2569a7ad18596.zip | |
Version abc60823
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 353f6c4c..75ceab4b 100644 --- a/src/sat/csat/csat_apis.c +++ b/src/sat/csat/csat_apis.c @@ -79,7 +79,7 @@ ABC_Manager ABC_InitManager() Abc_Start(); mng = ALLOC( ABC_Manager_t, 1 ); memset( mng, 0, sizeof(ABC_Manager_t) ); - mng->pNtk = Abc_NtkAlloc( ABC_NTK_LOGIC, ABC_FUNC_SOP ); + mng->pNtk = Abc_NtkAlloc( ABC_NTK_LOGIC, ABC_FUNC_SOP, 1 ); mng->pNtk->pName = Extra_UtilStrsav("csat_network"); mng->tName2Node = stmm_init_table(strcmp, stmm_strhash); mng->tNode2Name = stmm_init_table(stmm_ptrcmp, stmm_ptrhash); |