From 09a7e6dac739133a927ae7064d319068ab927f90 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 6 May 2022 15:49:42 +0200
Subject: distinquish between old and new format as well

---
 src/base/io/io.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/base/io/io.c b/src/base/io/io.c
index 7ad057df..a55a3064 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -804,10 +804,10 @@ int Abc_NtkReadCexFile( char * pFileName, Abc_Ntk_t * pNtk, Abc_Cex_t ** ppCex,
     Abc_NtkForEachPo(pNtk, pObj, i ) nPoNtk++;
     if ( nRegs < 0 )
     {
-        if (status == 1)
-            printf( "ERROR: Cannot read register number.\n" );
-        else
+        if (status == 0 || *fOldFormat == 0)
             printf( "Counter-example is not available.\n" );
+        else
+            printf( "ERROR: Cannot read register number.\n" );
         Vec_IntFree( vNums );
         return -1;
     }
-- 
cgit v1.2.3