diff options
Diffstat (limited to 'Source/Provers/SMTLib/ProverInterface.cs')
-rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index 6b4f8cb9..668dede9 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -964,8 +964,7 @@ namespace Microsoft.Boogie.SMTLib if (resp.Name == "model" && resp.ArgCount >= 1) {
modelStr = resp.Arguments[0] + "\n";
for (int i = 1; i < resp.ArgCount; i++) {
- if (resp.Arguments[i].ToString().Contains("define-fun") &&!resp.Arguments[i].ToString().Contains("not"))
- modelStr += resp.Arguments[i] + "\n";
+ modelStr += resp.Arguments[i] + "\n";
}
}
else if (resp.ArgCount == 0 && resp.Name.Contains("->")) {
|