remove unused stuff

[lyx.git] / src / support / docstring.C

diff --git a/src/support/docstring.C b/src/support/docstring.C
index c99c7f5e658434bfdf63a9468f1dee85e6786292..5e8d05f715bc852294f085f68a0402c94f624d11 100644 (file)
--- a/src/support/docstring.C
+++ b/src/support/docstring.C
@@ -468,7 +468,11 @@ protected:
                s.reserve(64);
                for (; iit != eit && isNumpunct(*iit); ++iit)
                        s += static_cast<char>(*iit);
-               s += '\0';
+               // We add another character, not part of the numpunct facet,
+               // in order to avoid setting the eofbit in the stream state,
+               // which would prevent any further read. The space seems a
+               // good choice here.
+               s += ' ';
                string_num_get_facet f;
                f.get(s.begin(), s.end(), b, err, v);