Pad version with '0' instead of nulls

This produces a more usable output for scripts.

diff --git a/re2c/main.cc b/re2c/main.cc
index cb07d15e21d015095774560c31da7b0e4da2e269..fc6f910954d394a5da8b32da07c47055e6de3fe1 100644 (file)
--- a/re2c/main.cc
+++ b/re2c/main.cc
@@ -330,7 +330,7 @@ int main(int argc, char *argv[])
                                {
                                        vernum.insert(4, "0");
                                }
-                               vernum.resize(6);
+                               vernum.resize(6, '0');
                                cout << vernum << endl;
                                return 2;
                        }