diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-17 22:21:30 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-17 22:21:30 -0700 |
| commit | 6502aa82d6e74acf73b1d32928cf3d686202d0b2 (patch) | |
| tree | afe633db099f3ab7b7ac7a6391d5ece263ecf5fa /src/proof | |
| parent | 06ba3d3e6ceee78cf52c024ac56287e924b00af3 (diff) | |
| download | abc-6502aa82d6e74acf73b1d32928cf3d686202d0b2.tar.gz abc-6502aa82d6e74acf73b1d32928cf3d686202d0b2.tar.bz2 abc-6502aa82d6e74acf73b1d32928cf3d686202d0b2.zip | |
Compiler warning.
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/ssw/sswRarity.c | 2 |
1 files changed, 0 insertions, 2 deletions
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 ); |