1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index db8be236..5f135a10 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -176,6 +176,8 @@ struct Gia_Man_t_
     int            iData2;        // various user data
     int            nAnd2Delay;    // AND2 delay scaled to match delay numbers used
     int            fVerbose;      // verbose reports
+    int            MappedArea;    // area after mapping
+    int            MappedDelay;   // delay after mapping
     // bit-parallel simulation
     int            iPatsPi;
     Vec_Wrd_t *    vSims;