diff options
| author |  MichalMoskal <unknown> | 2011-02-17 18:59:22 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-17 18:59:22 +0000 |
| commit | abbb2256f7b44bb918c2b607d785a333d282401f (patch) | |
| tree | 7cef659d89cb954bd0eb57f9f635e4fc27bde600 /Source/Provers/TPTP | |
| parent | b252bb12345446aaa580a78fa89a0f2136d3fed4 (diff) | |
Kill {:prover "..."} attribute support; no one ever used this stuff
Diffstat (limited to 'Source/Provers/TPTP')
| -rw-r--r-- | Source/Provers/TPTP/ProverInterface.cs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Source/Provers/TPTP/ProverInterface.cs b/Source/Provers/TPTP/ProverInterface.cs index ba4e406b..d18535e2 100644 --- a/Source/Provers/TPTP/ProverInterface.cs +++ b/Source/Provers/TPTP/ProverInterface.cs @@ -148,9 +148,6 @@ USE_PREDICATES=<bool> Try to use SMT predicates for functions returning bool }
string vcString = "fof(vc, conjecture, " + VCExpr2String(vc, 1) + ").";
- string prelude = ctx.GetProverCommands(true);
- Contract.Assert(prelude != null);
- WriteLineAndLog(output, prelude);
foreach (string s in TypeDecls) {
Contract.Assert(s != null);
|