diff options
| author |  Unknown <Shuvendu@SHUVENDU-Z400.redmond.corp.microsoft.com> | 2012-10-08 17:47:05 -0700 |
|---|---|---|
| committer | Unknown <Shuvendu@SHUVENDU-Z400.redmond.corp.microsoft.com> | 2012-10-08 17:47:05 -0700 |
| commit | fd83fa5dbc6f8bb7f99ae5487a1482069b9834a0 (patch) | |
| tree | 9bf2b83fbeb2bdaa91fcc168426940f2d97fbfa4 /Source | |
| parent | cf0330e3f27e5847732f6152e158e8292f37b402 (diff) | |
Fix for parsing error in MAXSAT computation in ProverInterface::CheckAssumptions.
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 4 |
1 files changed, 2 insertions, 2 deletions
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;
|