diff options
Diffstat (limited to 'OnDiskPt')
-rw-r--r-- | OnDiskPt/Main.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/OnDiskPt/Main.cpp b/OnDiskPt/Main.cpp index 9e9441eba..01a8ce1ba 100644 --- a/OnDiskPt/Main.cpp +++ b/OnDiskPt/Main.cpp @@ -73,7 +73,7 @@ int main (int argc, char * const argv[]) if (lineNum%1000 == 0) cerr << "." << flush; if (lineNum%10000 == 0) cerr << ":" << flush; if (lineNum%100000 == 0) cerr << lineNum << flush; - cerr << lineNum << " " << line << endl; + //cerr << lineNum << " " << line << endl; std::vector<float> misc(1); SourcePhrase sourcePhrase; |