From 0e256dc2c234d12455df121d3cb831ba726c4cfc Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 10 Sep 2013 22:12:42 -0700
Subject: Updates for the new BMC engine.

---
 src/sat/bmc/bmc.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/sat/bmc/bmc.h')

diff --git a/src/sat/bmc/bmc.h b/src/sat/bmc/bmc.h
index 3c59f605..08db89a7 100644
--- a/src/sat/bmc/bmc.h
+++ b/src/sat/bmc/bmc.h
@@ -77,6 +77,7 @@ struct Bmc_AndPar_t_
 {
     int         nStart;         // starting timeframe
     int         nFramesMax;     // maximum number of timeframes 
+    int         nFramesAdd;     // the number of additional frames
     int         nConfLimit;     // maximum number of conflicts at a node
     int         fLoadCnf;       // dynamic CNF loading
     int         fDumpFrames;    // dump unrolled timeframes
-- 
cgit v1.2.3