1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index d4b3e747..e12b66e2 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -278,6 +278,7 @@ struct Jf_Par_t_
     int            nLutSizeMax;
     int            nCutNumMax;
     int            nProcNumMax;
+    int            nLutSizeMux;
     word           Delay;
     word           Area;
     word           Edge;