From ab387953ab3a50200384f5619cf999e3f729f28f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 15 Feb 2017 17:16:19 -0800
Subject: Word-level abstraction engine.

---
 src/proof/pdr/pdrMan.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof/pdr/pdrMan.c')

diff --git a/src/proof/pdr/pdrMan.c b/src/proof/pdr/pdrMan.c
index c19041ee..abe8c0a8 100644
--- a/src/proof/pdr/pdrMan.c
+++ b/src/proof/pdr/pdrMan.c
@@ -455,7 +455,7 @@ Abc_Cex_t * Pdr_ManDeriveCexAbs( Pdr_Man_t * p )
     int i, f, Lit, Flop, nFrames = 0;
     int nPis = Saig_ManPiNum(p->pAig);
     int nFfRefined = 0;
-    if ( !p->pPars->fUseAbs )
+    if ( !p->pPars->fUseAbs || !p->vMapPpi2Ff )
         return Pdr_ManDeriveCex(p);
     // restore previous map
     Vec_IntForEachEntry( p->vMapPpi2Ff, Flop, i )
-- 
cgit v1.2.3