From 1bdbea66120292d821fc594b9a6637135bde6244 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 10 Feb 2017 17:40:34 -0800
Subject: Compiler warnings.

---
 src/aig/gia/giaDup.c    | 2 +-
 src/proof/pdr/pdrCore.c | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c
index 2a0fe6e3..56d1d29d 100644
--- a/src/aig/gia/giaDup.c
+++ b/src/aig/gia/giaDup.c
@@ -252,12 +252,12 @@ Gia_Man_t * Gia_ManDupAbs( Gia_Man_t * p, Vec_Int_t * vMapPpi2Ff, Vec_Int_t * vM
     }
     Vec_IntForEachEntry( vMapFf2Ppi, Used, Flop )
     {
+        pObj = Gia_ManCi( p, Gia_ManPiNum(p) + Flop );
         if ( Used >= 0 )
         {
             assert( pObj->Value != ~0 );
             continue;
         }
-        pObj = Gia_ManCi( p, Gia_ManPiNum(p) + Flop );
         assert( pObj->Value == ~0 );
         pObj->Value = Gia_ManAppendCi(pNew);
     }
diff --git a/src/proof/pdr/pdrCore.c b/src/proof/pdr/pdrCore.c
index 47f0ac8b..fb35269d 100644
--- a/src/proof/pdr/pdrCore.c
+++ b/src/proof/pdr/pdrCore.c
@@ -863,7 +863,7 @@ int Pdr_ManSolveInt( Pdr_Man_t * p )
     {
         if ( p->pPars->fUseAbs && iFrame == 2 )
         {
-            int i, Prio, Num = Saig_ManPiNum(p->pAig);
+            int i, Prio;
             assert( p->vAbsFlops == NULL );
             p->vAbsFlops  = Vec_IntStart( Saig_ManRegNum(p->pAig) );
             p->vMapFf2Ppi = Vec_IntStartFull( Saig_ManRegNum(p->pAig) );
-- 
cgit v1.2.3