diff --git a/src/proof/ssw/sswRarity.c b/src/proof/ssw/sswRarity.c
index 013ee1302..d780b9150 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 );