*/
#include <fstream.h>
-#include <time.h>
#include "main.hh"
#include "paper-stream.hh"
nest_level = 0;
line_len_i_ = 0;
outputting_comment=false;
- // header ();
}
Paper_stream::~Paper_stream ()
break;
}
}
+ //urg, for debugging only!!
+ *os << flush;
return *this;
}