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

1 files changed, 3 insertions, 2 deletions

diff --git a/Source/VCExpr/TermFormulaFlattening.cs b/Source/VCExpr/TermFormulaFlattening.cs
index 7111939a..9198d753 100644
--- a/Source/VCExpr/TermFormulaFlattening.cs
+++ b/Source/VCExpr/TermFormulaFlattening.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;

@@ -99,8 +100,8 @@ Contract.Ensures(cce.NonNullElements(Contract.Result<List<VCExprLetBinding>>()))
       foreach (KeyValuePair<VCExpr, VCExprVar> pair in Bindings) {

         Contract.Assert(cce.NonNullElements(pair));

         coll.Collect(pair.Key);

-        if (Contract.Exists(boundVars, var => coll.FreeTermVars.ContainsKey(var)) ||

-            Contract.Exists(boundTypeVars, var => coll.FreeTypeVars.Contains(var)))

+        if (boundVars.Any(var => coll.FreeTermVars.ContainsKey(var)) ||

+            boundTypeVars.Any(var => coll.FreeTypeVars.Contains(var)))

           res.Add(Gen.LetBinding(pair.Value, pair.Key));

         coll.Reset();

       }