From 0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 13 Sep 2005 08:01:00 -0700
Subject: Version abc50913

---
 src/sat/csat/csat_apis.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/csat/csat_apis.c')

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);
-- 
cgit v1.2.3