Compiler warning.

6502aa82 · Alan Mishchenko · 06ba3d3e · 6502aa82
Commit 6502aa82 authored Apr 17, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 2 deletions

src/proof/ssw/sswRarity.c
+0 -2

No files found.
--- 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 );