From 5fbe218ff8c9a150d2898eae4f454961274ef4eb Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 9 Mar 2017 22:57:20 -0800
Subject: Improvements to ternary simulation.

---
 src/proof/pdr/pdrTsim3.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/proof/pdr/pdrTsim3.c b/src/proof/pdr/pdrTsim3.c
index c0822322..ebd1a702 100644
--- a/src/proof/pdr/pdrTsim3.c
+++ b/src/proof/pdr/pdrTsim3.c
@@ -187,14 +187,14 @@ printf( "%d %d %d \n", Vec_IntSize(p->vCiObjs), Vec_IntSize(p->vFosPre), Vec_Int
 ***********************************************************************/
 Pdr_Set_t * Txs3_ManTernarySim( Txs3_Man_t * p, int k, Pdr_Set_t * pCube )
 {
-    int fTryNew = 1;
-    int fUseLit = 1;
+//    int fTryNew = 1;
+//    int fUseLit = 1;
     int fVerbose = 0;
     sat_solver * pSat;
     Pdr_Set_t * pRes;
     Gia_Obj_t * pObj;
     Vec_Int_t * vVar2Ids, * vLits;
-    int i, Lit, LitAux, Var, Value, RetValue, nCoreLits, * pCoreLits, nLits;
+    int i, Lit, LitAux, Var, Value, RetValue, nCoreLits, * pCoreLits;//, nLits;
 //    if ( k == 0 )
 //        fVerbose = 1;
     // collect CO objects
-- 
cgit v1.2.3