1 files changed, 1 insertions, 0 deletions
diff --git a/src/opt/mfs/mfs.h b/src/opt/mfs/mfs.h
index 375f93b7..8b49345e 100644
--- a/src/opt/mfs/mfs.h
+++ b/src/opt/mfs/mfs.h
@@ -55,6 +55,7 @@ struct Mfs_Par_t_
     int           fOneHotness;   // adds one-hotness conditions
     int           fDelay;        // performs optimization for delay
     int           fPower;        // performs power-aware optimization
+    int           fGiaSat;       // use new SAT solver
     int           fVerbose;      // enable basic stats
     int           fVeryVerbose;  // enable detailed stats
 };