virtual ~Paper_outputter ();
private:
SCM output_module_;
- string file_name_;
+ std::string file_name_;
SCM file_;
public:
- Paper_outputter (SCM port, const string &format);
+ Paper_outputter (SCM port, const std::string &format);
void close ();
SCM dump_string (SCM);