#else
#include <strstream>
#endif
-using namespace std;
#include "file-name-map.hh"
#include "international.hh"
int read_count = real_size;
if (desired_size > 0)
- read_count = min (read_count, desired_size);
+ read_count = std::min (read_count, desired_size);
rewind (f);
else
{
istream_ = new istringstream ("");
- istream_->setstate (ios::eofbit);
- // istream_->set (ios::eofbit);
+ istream_->setstate (std::ios::eofbit);
+ // istream_->set (std::ios::eofbit);
}
}
return istream_;
/* this will find the '\n' character at the end of our line */
vsize lo = lower_bound (newline_locations_,
pos_str0,
- less<char const *> ());
+ std::less<char const *> ());
/* the return value will be indexed from 1 */
return lo + 1 + line_offset_;