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));
       }
     }