diff --git a/driver/main.cpp b/driver/main.cpp index c1d49c0f23..5efcac7dba 100644 --- a/driver/main.cpp +++ b/driver/main.cpp @@ -821,7 +821,7 @@ static void dumpPredefinedVersions() E = global.params.versionids->end(); I != E; ++I) { - int len = strlen(*I); + int len = strlen(*I) + 1; if (col + len > 80) { col = 10;