Version abc80922

1 files changed, 2 insertions, 1 deletions

diff --git a/src/aig/ssw/ssw.h b/src/aig/ssw/ssw.h
index 8d74f16b..98e8c9d7 100644
--- a/src/aig/ssw/ssw.h
+++ b/src/aig/ssw/ssw.h
@@ -52,11 +52,12 @@ struct Ssw_Pars_t_
     int              fPolarFlip;    // uses polarity adjustment
     int              fSkipCheck;    // do not run equivalence check for unaffected cones
     int              fLatchCorr;    // perform register correspondence
+    int              fSemiFormal;   // enable semiformal filtering
+    int              fVerbose;      // verbose stats
     // optimized latch correspondence
     int              fLatchCorrOpt; // perform register correspondence (optimized)
     int              nSatVarMax;    // max number of SAT vars before recycling SAT solver (optimized latch corr only)
     int              nRecycleCalls; // calls to perform before recycling SAT solver (optimized latch corr only)
-    int              fVerbose;      // verbose stats
     // internal parameters
     int              nIters;        // the number of iterations performed
 };