-
Volker Krause authored
Besides the type in the second if() this wasn't considering terminal information that might appear in the same line.
abd91a63
Besides the type in the second if() this wasn't considering terminal information that might appear in the same line.