diff options
Diffstat (limited to 'src/theory/theory_engine.h')
-rw-r--r-- | src/theory/theory_engine.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index 4c9309fb6..a8aa62d35 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -390,8 +390,7 @@ class TheoryEngine { theory::LemmaStatus lemma(TNode node, bool negated, bool removable) { if(Dump.isOn("t-lemmas")) { Dump("t-lemmas") << CommentCommand("theory lemma: expect valid") - << std::endl - << QueryCommand(node.toExpr()) << std::endl; + << QueryCommand(node.toExpr()); } // Share with other portfolio threads |