1 files changed, 1 insertions, 0 deletions
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;