From e20364896eeb0fba7d23fe6047fe8cd05c6ad648 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 16 Jun 2014 16:46:39 -0700
Subject: Bug fix in CEC generation after rarity simulation and few small
 changes.

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

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index bc6fae06..426660a4 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -257,6 +257,7 @@ struct Jf_Par_t_
     int            DelayTarget;
     int            fAreaOnly;
     int            fOptEdge;
+    int            fUseMux7;
     int            fPower;
     int            fCoarsen;
     int            fCutMin;
-- 
cgit v1.2.3