| 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
|
|
|
|
|