From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 10 Mar 2021 00:32:40 +0000 (-0800)
Subject: test: Fix missing std::. (#6096)
X-Git-Tag: cvc5-1.0.0~2121
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4c6e0a7325034547dea92a440476035318ed33b4;p=cvc5.git

test: Fix missing std::. (#6096)
---

diff --git a/test/unit/util/output_black.cpp b/test/unit/util/output_black.cpp
index c9da858d1..48b1d4087 100644
--- a/test/unit/util/output_black.cpp
+++ b/test/unit/util/output_black.cpp
@@ -118,7 +118,7 @@ TEST_F(TestUtilBlackOutput, evaluation_off_when_it_is_supposed_to_be)
   Debug.on("foo");
 #ifndef CVC4_DEBUG
   ASSERT_FALSE(Debug.isOn("foo"));
-  Debug("foo") << failure() << endl;
+  Debug("foo") << failure() << std::endl;
 #else
   ASSERT_TRUE(Debug.isOn("foo"));
 #endif
@@ -127,7 +127,7 @@ TEST_F(TestUtilBlackOutput, evaluation_off_when_it_is_supposed_to_be)
   Trace.on("foo");
 #ifndef CVC4_TRACING
   ASSERT_FALSE(Trace.isOn("foo"));
-  Trace("foo") << failure() << endl;
+  Trace("foo") << failure() << std::endl;
 #else
   ASSERT_TRUE(Trace.isOn("foo"));
 #endif
@@ -142,17 +142,17 @@ TEST_F(TestUtilBlackOutput, evaluation_off_when_it_is_supposed_to_be)
   ASSERT_FALSE(Chat.isOn());
 
   cout << "debug" << std::endl;
-  Debug("foo") << failure() << endl;
+  Debug("foo") << failure() << std::endl;
   cout << "trace" << std::endl;
-  Trace("foo") << failure() << endl;
+  Trace("foo") << failure() << std::endl;
   cout << "warning" << std::endl;
-  Warning() << failure() << endl;
+  Warning() << failure() << std::endl;
   cout << "message" << std::endl;
-  CVC4Message() << failure() << endl;
+  CVC4Message() << failure() << std::endl;
   cout << "notice" << std::endl;
-  Notice() << failure() << endl;
+  Notice() << failure() << std::endl;
   cout << "chat" << std::endl;
-  Chat() << failure() << endl;
+  Chat() << failure() << std::endl;
 #endif
 }