From 3699f8beb9dc543f2774de32896594df1a65d36d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 19 Nov 2019 21:13:07 +0800
Subject: Dumping multiple counter-examples.

---
 src/base/io/io.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base')

diff --git a/src/base/io/io.c b/src/base/io/io.c
index 693dbc9c..669405cc 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -2562,7 +2562,7 @@ int IoCommandWriteCex( Abc_Frame_t * pAbc, int argc, char **argv )
             {
                 if ( pCex == NULL )
                     continue;
-                fprintf( pFile, "#\n# CEX for output number %d (%s)\n#\n", i, Abc_ObjName(Abc_NtkPo(pNtk, i)) ); 
+                fprintf( pFile, "#\n#\n# CEX for output %d\n#\n", i ); 
                 Abc_NtkDumpOneCex( pFile, pNtk, pCex, 
                     fPrintFull, fNames, fUseFfNames, fMinimize, fUseOldMin, 
                     fCheckCex, fUseSatBased, fHighEffort, fAiger, fVerbose );
-- 
cgit v1.2.3