1 files changed, 10 insertions, 1 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 03e2ce17..98086cf0 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -593,7 +593,6 @@ namespace Microsoft.Boogie {
     public bool PrintInlined = false;
     public bool ExtractLoops = false;
     public bool DeterministicExtractLoops = false;
-    public bool ExtractLoopsUnrollIrreducible = true; // unroll irreducible loops? (set programmatically)
     public int StratifiedInlining = 0;
     public string FixedPointEngine = null;
     public int StratifiedInliningOption = 0;
@@ -612,6 +611,10 @@ namespace Microsoft.Boogie {
        Call
     };
     public FixedPointInferenceMode FixedPointMode = FixedPointInferenceMode.Procedure;
+		
+    public string PrintFixedPoint = null;
+		
+    public bool ExtractLoopsUnrollIrreducible = true; // unroll irreducible loops? (set programmatically)
 
     public enum TypeEncoding {
       None,
@@ -1126,6 +1129,12 @@ namespace Microsoft.Boogie {
               }
           }
           return true;
+        case "printFixedPoint":
+          if (ps.ConfirmArgumentCount(1))
+          {
+              PrintFixedPoint = args[ps.i];
+          }
+          return true;
         case "siVerbose":
           if (ps.ConfirmArgumentCount(1)) {
             StratifiedInliningVerbose = Int32.Parse(cce.NonNull(args[ps.i]));