1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index a3bb44ba..2f02f0e5 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -560,6 +560,7 @@ namespace Microsoft.Boogie {
     public int ProcedureCopyBound = 0;
     public int StratifiedInlining = 0;
     public int StratifiedInliningOption = 0;
+    public bool StratifiedInliningWithoutModels = false; // disable model generation for SI
     public bool UseUnsatCoreForInlining = false;
     public int RecursionBound = 500;
     public string inferLeastForUnsat = null;