From 429f52ce15d1c10e71d98d8c1388b93809a425e1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 18 Feb 2017 14:20:10 -0800
Subject: Experiments with SAT sweeping.

---
 src/aig/gia/giaEquiv.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia/giaEquiv.c')

diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c
index 1b0bce07..f41db898 100644
--- a/src/aig/gia/giaEquiv.c
+++ b/src/aig/gia/giaEquiv.c
@@ -485,7 +485,7 @@ void Gia_ManEquivPrintClasses( Gia_Man_t * p, int fVerbose, float Mem )
     if ( fVerbose )
     {
 //        int Ent;
-        Abc_Print( 1, "Const0 = " );
+        Abc_Print( 1, "Const0 (%d) = ", Counter0 );
         Gia_ManForEachConst( p, i )
             Abc_Print( 1, "%d ", i );
         Abc_Print( 1, "\n" );
-- 
cgit v1.2.3