From 6205eaaee3a840dd076f9baaac67720d85d6a680 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 13 Mar 2008 08:01:00 -0700
Subject: Version abc80313

---
 src/map/if/if.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/map/if')

diff --git a/src/map/if/if.h b/src/map/if/if.h
index 6c33e03f..d42dd0af 100644
--- a/src/map/if/if.h
+++ b/src/map/if/if.h
@@ -90,6 +90,7 @@ struct If_Par_t_
     int                fEdge;         // uses edge-based cut selection heuristics
     int                fCutMin;       // performs cut minimization by removing functionally reducdant variables
     int                fSeqMap;       // sequential mapping
+    int                fBidec;        // use bi-decomposition
     int                fVerbose;      // the verbosity flag
     // internal parameters
     int                fAreaOnly;     // area only mode
-- 
cgit v1.2.3