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