From 2696cf05e568f7a928f32b01534d106bf626ef8a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 13 Mar 2007 08:01:00 -0700
Subject: Version abc70313

---
 src/base/abci/abcVerify.c | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'src/base/abci/abcVerify.c')

diff --git a/src/base/abci/abcVerify.c b/src/base/abci/abcVerify.c
index 05bd021d..b7a7d4b9 100644
--- a/src/base/abci/abcVerify.c
+++ b/src/base/abci/abcVerify.c
@@ -603,10 +603,14 @@ void Abc_NtkVerifyReportError( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int * pMode
         Abc_NtkForEachCi( pNtk1, pNode, i )
             pNode->pCopy = (void*)i;
         // print the model
-        Vec_PtrForEachEntry( vNodes, pNode, i )
+        pNode = Vec_PtrEntry( vNodes, 0 );
+        if ( Abc_ObjIsCi(pNode) )
         {
-            assert( Abc_ObjIsCi(pNode) );
-            printf( " %s=%d", Abc_ObjName(pNode), pModel[(int)pNode->pCopy] );
+            Vec_PtrForEachEntry( vNodes, pNode, i )
+            {
+                assert( Abc_ObjIsCi(pNode) );
+                printf( " %s=%d", Abc_ObjName(pNode), pModel[(int)pNode->pCopy] );
+            }
         }
         printf( "\n" );
         Vec_PtrFree( vNodes );
-- 
cgit v1.2.3