From 18088bd7dcf3de03cc4f9a439e6b41d04e2f8413 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 28 Mar 2021 14:54:07 -1000
Subject: Compiler warnings.

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

(limited to 'src')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 94a98037..35281f77 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -33043,10 +33043,10 @@ int Abc_CommandAbc9Iwls21Test( Abc_Frame_t * pAbc, int argc, char ** argv )
             Abc_Print( -1, "Reading AIGER from file \"%s\" has failed.\n", pArgvNew[0] );
             return 0;
         }
-        if ( pAbc->pGia == NULL )
+        if ( Gia_ManRegNum(pAig) > 0 )
         {
-            Abc_Print( -1, "Abc_CommandAbc9Iwls21Test(): There is no AIG.\n" );
-            return 1;
+            Abc_Print( -1, "Abc_CommandAbc9Iwls21Test(): This command works only for combinational AIGs.\n" );
+            return 0;
         }
         Gia_ManTestWordFile( pAig, pArgvNew[1], pDumpFile, fVerbose );
         Gia_ManStop( pAig );
-- 
cgit v1.2.3