1 files changed, 6 insertions, 0 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 51034bf3..d09678dc 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -401,6 +401,7 @@ namespace Microsoft.Boogie {
     public bool DebugStagedHoudini = false;
     public bool StagedHoudiniReachabilityAnalysis = false;
     public bool StagedHoudiniMergeIgnoredCandidates = false;
+    public int StagedHoudiniThreads = 2;
     public string VariableDependenceIgnore = null;
     public string AbstractHoudini = null;
     public bool UseUnsatCoreForContractInfer = false;
@@ -901,6 +902,11 @@ namespace Microsoft.Boogie {
             return true;
         }
 
+        case "stagedHoudiniThreads": {
+            ps.GetNumericArgument(ref StagedHoudiniThreads);
+            return true;
+        }
+
         case "stagedHoudiniReachabilityAnalysis": {
             if (ps.ConfirmArgumentCount(0)) {
               StagedHoudiniReachabilityAnalysis = true;