From 3418a8820a4928d1b825001ec4c5c17a5ab2caba Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 17 Dec 2011 17:51:13 -0800
Subject: Fixed a bug in matching code.

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

(limited to 'src/aig')

diff --git a/src/aig/fra/fraCec.c b/src/aig/fra/fraCec.c
index 38bf73d9..6e655590 100644
--- a/src/aig/fra/fraCec.c
+++ b/src/aig/fra/fraCec.c
@@ -253,7 +253,7 @@ int Fra_FraigSat( Aig_Man_t * pMan, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimi
             pMan->pData = Sat_SolverGetModel( pSat, vCiIds->pArray, vCiIds->nSize );
         }
         // free the sat_solver
-//        if ( fVerbose )
+        if ( fVerbose )
             Sat_SolverPrintStats( stdout, pSat );
     //sat_solver_store_write( pSat, "trace.cnf" );
     //sat_solver_store_free( pSat );
-- 
cgit v1.2.3