- void pushToken(string const &);
- /// fb__ is only used to open files, the stream is accessed through is
- std::filebuf fb__;
+ 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_;
+