From 75d334a0df1431e8a5a57a83096dcee9661fd0a6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 28 Dec 2017 23:05:36 -0800
Subject: New exact synthesis command 'allexact'.

---
 src/sat/bmc/bmcMaj3.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/sat')

diff --git a/src/sat/bmc/bmcMaj3.c b/src/sat/bmc/bmcMaj3.c
index e35b2e87..8a5b3d16 100644
--- a/src/sat/bmc/bmcMaj3.c
+++ b/src/sat/bmc/bmcMaj3.c
@@ -948,10 +948,12 @@ static void Zyx_ManPrintSolution( Zyx_Man_t * p, int fCompl )
         printf( "(" );
         for ( k = 0; k < i; k++ )
             if ( bmcg_sat_solver_read_cex_varvalue(p->pSat, Zyx_TopoVar(p, i, k)) )
+            {
                 if ( k >= 0 && k < p->pPars->nVars )
                     printf( " %c", 'a'+k );
                 else
                     printf( " %02d", k );
+            }
         printf( " )\n" );
     }
 }
-- 
cgit v1.2.3