diff options
| author |  Pantazis Deligiannis <pdeligia@me.com> | 2013-07-11 09:52:00 +0100 |
|---|---|---|
| committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-07-11 09:52:00 +0100 |
| commit | 177aadc61ec1f219ad4a8a7a442678ab442cd16d (patch) | |
| tree | 222c9fac6db66bfab292d9cc8daa2db065765e6c /Source/Provers/SMTLib | |
| parent | 99871c0fc576d2fa704bf360981aeb06f93e51bb (diff) | |
code cleanup & refactoring
Diffstat (limited to 'Source/Provers/SMTLib')
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index 9bacb35d..09696c40 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -918,7 +918,6 @@ namespace Microsoft.Boogie.SMTLib if (resp.Arguments[i].ToString().Contains("define-fun") &&!resp.Arguments[i].ToString().Contains("not"))
modelStr += resp.Arguments[i] + "\n";
}
- //Console.WriteLine(modelStr);
}
else if (resp.ArgCount == 0 && resp.Name.Contains("->")) {
modelStr = resp.Name;
|