- void pushToken(string const &);
- /// fb__ is only used to open files, the stream is accessed through is.
- std::filebuf fb__;
- /// gz__ is only used to open files, the stream is accessed through is.
- gz::gzstreambuf gz__;
+ void pushToken(std::string const &);
+ /// fb_ is only used to open files, the stream is accessed through is.
+ std::filebuf fb_;
+
+ /// gz_ is only used to open files, the stream is accessed through is.
+ io::filtering_istreambuf gz_;