Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in code (as opposed to contracts).

1 files changed, 2 insertions, 1 deletions

diff --git a/Source/VCExpr/Boogie2VCExpr.cs b/Source/VCExpr/Boogie2VCExpr.cs
index 22ba09be..0b92b1c3 100644
--- a/Source/VCExpr/Boogie2VCExpr.cs
+++ b/Source/VCExpr/Boogie2VCExpr.cs
@@ -6,6 +6,7 @@
 using System;

 using System.Text;

 using System.IO;

+using System.Linq;

 using System.Collections;

 using System.Collections.Generic;

 using System.Diagnostics.Contracts;

@@ -36,7 +37,7 @@ namespace Microsoft.Boogie.VCExprAST {
       if (kinds.IndexOf(',') < 0) {

         return IsProverCommandSupported(kinds);

       } else {

-        return Contract.Exists(kinds.Split(',', ' '), k => IsProverCommandSupported(k));

+        return kinds.Split(',', ' ').Any(k => IsProverCommandSupported(k));

       }

     }