From 0398ced8243806439b814f21ca7d6e584cea13a1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 22 Jun 2015 23:04:53 -0700
Subject: Version abc90714

committer: Baruch Sterin <baruchs@gmail.com>
---
 src/aig/gia/giaCSat.c | 2 ++
 1 file changed, 2 insertions(+)

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

diff --git a/src/aig/gia/giaCSat.c b/src/aig/gia/giaCSat.c
index e005dfc2..644ccda5 100644
--- a/src/aig/gia/giaCSat.c
+++ b/src/aig/gia/giaCSat.c
@@ -1020,6 +1020,8 @@ Vec_Int_t * Cbs_ManSolveMiterNc( Gia_Man_t * pAig, int nConfs, Vec_Str_t ** pvSt
     // solve for each output
     Gia_ManForEachCo( pAig, pRoot, i )
     {
+//        printf( "\n" );
+
         Vec_IntClear( vCex );
         if ( Gia_ObjIsConst0(Gia_ObjFanin0(pRoot)) )
         {
-- 
cgit v1.2.3