Index: src/types.cc |
diff --git a/src/types.cc b/src/types.cc |
index c3184c684498ab634f186d0b350e274bc2736af3..88e8d22b0f0106f136c5526318a1fd32d484861b 100644 |
--- a/src/types.cc |
+++ b/src/types.cc |
@@ -995,7 +995,7 @@ const char* TypeImpl<Config>::BitsetType::Name(bitset bits) { |
template <class Config> |
-void TypeImpl<Config>::BitsetType::Print(OStream& os, // NOLINT |
+void TypeImpl<Config>::BitsetType::Print(std::ostream& os, // NOLINT |
bitset bits) { |
DisallowHeapAllocation no_allocation; |
const char* name = Name(bits); |
@@ -1031,7 +1031,7 @@ void TypeImpl<Config>::BitsetType::Print(OStream& os, // NOLINT |
template <class Config> |
-void TypeImpl<Config>::PrintTo(OStream& os, PrintDimension dim) { // NOLINT |
+void TypeImpl<Config>::PrintTo(std::ostream& os, PrintDimension dim) { |
DisallowHeapAllocation no_allocation; |
if (dim != REPRESENTATION_DIM) { |
if (this->IsBitset()) { |
@@ -1089,13 +1089,13 @@ template <class Config> |
void TypeImpl<Config>::Print() { |
OFStream os(stdout); |
PrintTo(os); |
- os << endl; |
+ os << std::endl; |
} |
template <class Config> |
void TypeImpl<Config>::BitsetType::Print(bitset bits) { |
OFStream os(stdout); |
Print(os, bits); |
- os << endl; |
+ os << std::endl; |
} |
#endif |