lexer: when switching to another output stream, clean last read character.

Otherwise we prepend to the current stream the last character read from
the previous stream, which is obviously incorrect.

diff --git a/ginac/parser/lexer.cpp b/ginac/parser/lexer.cpp
index ed1f894fea381bdc9c553d9a2811ff12b1697bcb..894a2ad8afeef8ae484eca01274290dc00074815 100644 (file)
--- a/ginac/parser/lexer.cpp
+++ b/ginac/parser/lexer.cpp
@@ -126,6 +126,7 @@ void lexer::switch_input(std::istream* in)
        input = in;
        line_num = 0;
        column = 0;
+       c = ' ';
 }
 
 } // namespace GiNaC