From 63e87ebd771b987082e2a3b51b89ad73ed5ab75d Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 23 Nov 2010 07:35:06 +0000
Subject: Boogie: Look for Z3 versions up to 2.20.

---
 Source/Provers/Simplify/ProverInterface.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Provers/Simplify/ProverInterface.cs')

diff --git a/Source/Provers/Simplify/ProverInterface.cs b/Source/Provers/Simplify/ProverInterface.cs
index 6d01d807..d747d3fd 100644
--- a/Source/Provers/Simplify/ProverInterface.cs
+++ b/Source/Provers/Simplify/ProverInterface.cs
@@ -253,7 +253,7 @@ namespace Microsoft.Boogie.Simplify {
         }
 
         List<string> attempts = new List<string>();
-        for (int minorVersion = 15; true; minorVersion--) {
+        for (int minorVersion = 20; true; minorVersion--) {
           if (File.Exists(_proverPath)) {
             break;  // all seems good
           }
-- 
cgit v1.2.3