1 files changed, 5 insertions, 1 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 4ffccdc5..7d3fce84 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -143,6 +143,7 @@ namespace Microsoft.Boogie {
     public int /*(0:3)*/ ErrorTrace = 1;
     public bool IntraproceduralInfer = true;
     public bool ContractInfer = false;
+    public int InlineDepth = -1;
     public bool UseUncheckedContracts = false;
     public bool SimplifyLogFileAppend = false;
     public bool SoundnessSmokeTest = false;
@@ -949,7 +950,10 @@ namespace Microsoft.Boogie {
           case "/contractInfer":
             ContractInfer = true;
             break;
-
+          case "-inlineDepth":
+          case "/inlineDepth":
+            ps.GetNumericArgument(ref InlineDepth);
+            break;
           case "-subsumption":
           case "/subsumption": {
               int s = 0;