From 48db1c3a0469f831cf6229721edb801756bce67d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 9 Sep 2013 00:15:01 -0700
Subject: Improvements to the new technology mapper.

---
 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 919c1031..c660c1df 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -243,6 +243,7 @@ struct Jf_Par_t_
     int            DelayTarget;
     int            fAreaOnly;
     int            fCoarsen;
+    int            fCutMin;
     int            fVerbose;
     int            fVeryVerbose;
     int            nLutSizeMax;
-- 
cgit v1.2.3