1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index 41e38588..6b801b9e 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -287,6 +287,8 @@ struct Jf_Par_t_
     int            DelayTarget;
     int            fAreaOnly;
     int            fPinPerm;
+    int            fPinQuick;
+    int            fPinFilter;
     int            fOptEdge;
     int            fUseMux7;
     int            fPower;