1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index 87ce6b91..b282e0c8 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -318,6 +318,7 @@ struct Jf_Par_t_
     word           WordMapDelayTarget;
     float          MapDelay;
     float          MapArea;
+    float          MapAreaF;
     float          MapDelayTarget;
     float          Epsilon;
     float *        pTimesArr;