remove a couple more std::endl

Z3Prover · Jan 3, 2023 · a2cc504 · a2cc504
1 parent d30cb55
commit a2cc504
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/src/math/lp/mps_reader.h b/src/math/lp/mps_reader.h
@@ -277,8 +277,8 @@ class mps_reader {
         } else {
         fail:
             set_m_ok_to_false();
-            *m_message_stream << "cannot understand this line" << std::endl;
-            *m_message_stream << "line = " << m_line <<  ", line number is " << m_line_number << std::endl;
+            *m_message_stream << "cannot understand this line\n"
+                                 "line = " << m_line <<  ", line number is " << m_line_number << std::endl;
             return;
         }
     }

diff --git a/src/tactic/core/collect_statistics_tactic.cpp b/src/tactic/core/collect_statistics_tactic.cpp
@@ -73,10 +73,10 @@ class collect_statistics_tactic : public tactic {
         for (unsigned i = 0; i < sz; i++)
             for_each_expr(cp, visited, g->form(i));
 
-        std::cout << "(" << std::endl;
+        std::cout << "(\n";
         for (auto const& kv : m_stats) 
-            std::cout << " :" << kv.first << "    " << kv.second << std::endl;
-        std::cout << ")" << std::endl;
+            std::cout << " :" << kv.first << "    " << kv.second << '\n';
+        std::cout << ")\n";
 
         g->inc_depth();
         result.push_back(g.get());