From bc39220df48d09ce7eb08c3839638b5030e31016 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 18 Jun 2013 17:46:37 -0700
Subject: Performance improvements in 'pdr'.

---
 src/proof/pdr/pdrInt.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/proof/pdr/pdrInt.h')

diff --git a/src/proof/pdr/pdrInt.h b/src/proof/pdr/pdrInt.h
index 72393077..8e5f55bd 100644
--- a/src/proof/pdr/pdrInt.h
+++ b/src/proof/pdr/pdrInt.h
@@ -83,6 +83,7 @@ struct Pdr_Man_t_
     Pdr_Obl_t * pQueue;    // proof obligations
     int *       pOrder;    // ordering of the lits
     Vec_Int_t * vActVars;  // the counter of activation variables
+    int         iUseFrame; // the first used frame
     // internal use
     Vec_Int_t * vPrio;     // priority flops
     Vec_Int_t * vLits;     // array of literals
-- 
cgit v1.2.3