From 0f9001c956749682e002cb229264dbd6c4882fc2 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 8 Feb 2015 22:00:55 -0800
Subject: Adding switch '-p' to control pin-permutation in &nf.

---
 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 d89888e0..bc7238d8 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -275,6 +275,7 @@ struct Jf_Par_t_
     int            nVerbLimit;
     int            DelayTarget;
     int            fAreaOnly;
+    int            fPinPerm;
     int            fOptEdge;
     int            fUseMux7;
     int            fPower;
-- 
cgit v1.2.3