Fix line number in printChangedLine

This commit is contained in:
Peter Vingelmann 2016-09-19 20:05:24 +02:00
parent 008cc94a1e
commit 7137b582a7

View File

@ -633,7 +633,7 @@ void ASConsole::printChangedLine(const string& fileName, const string& line, int
printSeparatingLine();
printf("Changes in %s\n", fileName.c_str());
}
printf("%s(%5d): %s\n", fileName.c_str(), lineNumber, line.c_str());
printf("%s(%d): %s\n", fileName.c_str(), lineNumber, line.c_str());
}
}