From fd83fa5dbc6f8bb7f99ae5487a1482069b9834a0 Mon Sep 17 00:00:00 2001
From: Unknown <Shuvendu@SHUVENDU-Z400.redmond.corp.microsoft.com>
Date: Mon, 8 Oct 2012 17:47:05 -0700
Subject: Fix for parsing error in MAXSAT computation in
 ProverInterface::CheckAssumptions.

---
 Source/Provers/SMTLib/ProverInterface.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source')

diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
index 89bd9d6e..3b20ea7d 100644
--- a/Source/Provers/SMTLib/ProverInterface.cs
+++ b/Source/Provers/SMTLib/ProverInterface.cs
@@ -924,8 +924,8 @@ namespace Microsoft.Boogie.SMTLib
           if (resp == null) break;
           if (!(resp.Name == "" && resp.ArgCount == 1)) break;
           resp = resp.Arguments[0];
-          if (!(resp.Name == "" && resp.ArgCount == 2)) break;
-          resp = resp.Arguments[1];
+          if (!(resp.Name != "" && resp.ArgCount == 1)) break;
+          resp = resp.Arguments[0]; 
           if (resp.ArgCount != 0)
             break;
           int v;
-- 
cgit v1.2.3