1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/mfx/mfx.h b/src/aig/mfx/mfx.h
index 783de56c..aae9e625 100644
--- a/src/aig/mfx/mfx.h
+++ b/src/aig/mfx/mfx.h
@@ -53,6 +53,7 @@ struct Mfx_Par_t_
     int           fMoreEffort;   // performs high-affort minimization
     int           fSwapEdge;     // performs edge swapping
     int           fDelay;        // performs optimization for delay
+    int           fPower;        // performs power-aware optimization 
     int           fVerbose;      // enable basic stats
     int           fVeryVerbose;  // enable detailed stats
 };