From 65eb5c4af27b355d1eccfc8d8248920cdeb75718 Mon Sep 17 00:00:00 2001 From: Guilhem Lavaux Date: Thu, 18 Apr 2013 16:09:08 +0200 Subject: [PATCH] Revert "Indicate at which point of the text stream is the failure" This reverts commit 4f9fd340f0f76aedba431491118addd1372ecb7c. --- c_tools/libzobov/loadZobov.cpp | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/c_tools/libzobov/loadZobov.cpp b/c_tools/libzobov/loadZobov.cpp index e34ef45..a1a6cbb 100644 --- a/c_tools/libzobov/loadZobov.cpp +++ b/c_tools/libzobov/loadZobov.cpp @@ -134,15 +134,11 @@ bool loadZobov(const char *descName, const char *adjName, const char *voidsName, } cout << "Loading description" << endl; - int lineid = 1; string line; getline(descFile, line); - lineid++; getline(descFile, line); - lineid++; getline(descFile, line); - lineid++; while (!descFile.eof()) { istringstream lineStream(line.c_str()); @@ -164,7 +160,7 @@ bool loadZobov(const char *descName, const char *adjName, const char *voidsName, >> probability; if (!lineStream) { - cerr << "Error in text stream at line " << lineid << endl; + cerr << "Error in text stream" << endl; abort(); } @@ -191,7 +187,6 @@ bool loadZobov(const char *descName, const char *adjName, const char *voidsName, << actualNumber << ")" << endl; } getline(descFile, line); - lineid++; } cout << "Done loading" << endl;