remove unused stuff

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

diff --git a/src/support/docstring.C b/src/support/docstring.C
index b8a0c4c21f90de3893448fffbcb7945105197cd0..5e8d05f715bc852294f085f68a0402c94f624d11 100644 (file)
--- a/src/support/docstring.C
+++ b/src/support/docstring.C
@@ -468,6 +468,11 @@ protected:
                s.reserve(64);
                for (; iit != eit && isNumpunct(*iit); ++iit)
                        s += static_cast<char>(*iit);
+               // 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);