#include "OutputParams.h"
-#include "support/docstring.h"
+#include "support/strfwd.h"
#include "support/FileName.h"
#include "support/signals.h"
int run(TeXErrors &);
///
- int getNumErrors() { return num_errors;}
+ int getNumErrors() const { return num_errors;}
///
int scanLogFile(TeXErrors &);