1 files changed, 1 insertions, 4 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 8b567edd..4192259d 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -575,8 +575,6 @@ namespace Microsoft.Boogie {
     public string CoverageReporterPath = null;
     public Process coverageReporter = null; // used internally for debugging
 
-    public bool DoPredication = false;
-
     public enum TypeEncoding {
       None,
       Predicates,
@@ -1203,8 +1201,7 @@ namespace Microsoft.Boogie {
               ps.CheckBooleanFlag("useUnsatCoreForContractInfer", ref UseUnsatCoreForContractInfer) ||
               ps.CheckBooleanFlag("printAssignment", ref PrintAssignment) ||
               ps.CheckBooleanFlag("nonUniformUnfolding", ref NonUniformUnfolding) ||
-              ps.CheckBooleanFlag("deterministicExtractLoops", ref DeterministicExtractLoops) ||
-              ps.CheckBooleanFlag("predicate", ref DoPredication)
+              ps.CheckBooleanFlag("deterministicExtractLoops", ref DeterministicExtractLoops)
               ) {
             // one of the boolean flags matched
             return true;