1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index 2e888130..d386f8ba 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -246,6 +246,7 @@ struct Gps_Par_t_
     int            fMiter;
     int            fSkipMap;
     int            fSlacks;
+    int            fNoColor;
     char *         pDumpFile;
 };