diff options
Diffstat (limited to 'Source/Provers/TPTP/ProverInterface.cs')
-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);
|