#include <fstream>
+using namespace lyx::support;
+
using std::ifstream;
using std::getline;
token = split(token, warno, ':');
token = split(token, warning, ':');
- int const lineno = lyx::atoi(line);
+ int const lineno = atoi(line);
#if USE_BOOST_FORMAT
msg % warno;