diff options
Diffstat (limited to 'extools/extractor.cc')
| -rw-r--r-- | extools/extractor.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extools/extractor.cc b/extools/extractor.cc index 7279f745..71778d49 100644 --- a/extools/extractor.cc +++ b/extools/extractor.cc @@ -396,6 +396,7 @@ int main(int argc, char** argv) { ++line; in.getline(buf, MAX_LINE_LENGTH); if (buf[0] == 0) continue; + //cerr << "line #" << line << " = " << buf << endl; if (!silent) { if (line % 200 == 0) cerr << '.'; if (line % 8000 == 0) cerr << " [" << line << "]\n" << flush; |