summaryrefslogtreecommitdiffstats
path: root/src/sat/csat
diff options
context:
space:
mode:
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 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; }