From 6502aa82d6e74acf73b1d32928cf3d686202d0b2 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 17 Apr 2013 22:21:30 -0700
Subject: Compiler warning.

---
 src/proof/ssw/sswRarity.c | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src')

diff --git a/src/proof/ssw/sswRarity.c b/src/proof/ssw/sswRarity.c
index 013ee130..d780b915 100644
--- a/src/proof/ssw/sswRarity.c
+++ b/src/proof/ssw/sswRarity.c
@@ -1135,8 +1135,6 @@ finish:
 ***********************************************************************/
 int Ssw_RarSimulateGia( Gia_Man_t * p, Ssw_RarPars_t * pPars )
 {
-    int fSolveAll = 0;
-    int fNotVerbose = 0;
     Aig_Man_t * pAig;
     int RetValue;
     pAig = Gia_ManToAigSimple( p );
-- 
cgit v1.2.3