1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index ac0529ce..0dd657aa 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -199,6 +199,7 @@ struct Gps_Par_t_
     int            fLutProf;
     int            fMuxXor;
     int            fMiter;
+    int            fSkipMap;
     char *         pDumpFile;
 };