From fb51057e4a36d2e5737bba8739b88140b55db7c7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 19 Feb 2007 08:01:00 -0800
Subject: Version abc70219

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

(limited to 'src/sat')

diff --git a/src/sat/csat/csat_apis.c b/src/sat/csat/csat_apis.c
index c7340824..9d27e892 100644
--- a/src/sat/csat/csat_apis.c
+++ b/src/sat/csat/csat_apis.c
@@ -677,7 +677,7 @@ void ABC_Dump_Bench_File( ABC_Manager mng )
  
     // derive the netlist
     pNtkAig = Abc_NtkStrash( mng->pNtk, 0, 0 );
-    pNtkTemp = Abc_NtkLogicToNetlistBench( pNtkAig );
+    pNtkTemp = Abc_NtkToNetlistBench( pNtkAig );
     Abc_NtkDelete( pNtkAig );
     if ( pNtkTemp == NULL ) 
         { printf( "ABC_Dump_Bench_File: Dumping BENCH has failed.\n" ); return; }
-- 
cgit v1.2.3