From e2637595f8758c33e3921a9bd84ec8e640b8ea4d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 15 Jun 2014 16:28:05 -0700
Subject: Updates and bug fixes.

---
 src/aig/gia/gia.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/aig/gia/gia.h')

diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index 463f11e6..bc6fae06 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -252,6 +252,7 @@ struct Jf_Par_t_
     int            nRounds;
     int            nRoundsEla;
     int            nRelaxRatio;
+    int            nCoarseLimit;
     int            nVerbLimit;
     int            DelayTarget;
     int            fAreaOnly;
-- 
cgit v1.2.3