This needs to be a char_type, not char.
This commit is contained in:
Juergen Spitzmueller 2016-12-18 13:13:19 +01:00
parent a3bb0db658
commit 5583186393

View File

@ -123,7 +123,7 @@ otexstream & operator<<(otexstream & ots, SafeBreakLine)
otexrowstream & otrs = ots;
if (ots.canBreakLine()) {
if (ots.terminateCommand())
otrs << "{}";
otrs << "{}";
otrs << "%\n";
ots.lastChar('\n');
}
@ -179,7 +179,7 @@ otexstream & operator<<(otexstream & ots, TexString ts)
otexrowstream & otrs = ots;
bool isprotected = false;
char const c = ts.str[0];
char_type const c = ts.str[0];
if (ots.protectSpace()) {
if (!ots.canBreakLine() && c == ' ') {
otrs << "{}";
@ -223,7 +223,7 @@ otexstream & operator<<(otexstream & ots, docstring const & s)
return ots;
otexrowstream & otrs = ots;
bool isprotected = false;
char const c = s[0];
char_type const c = s[0];
if (ots.protectSpace()) {
if (!ots.canBreakLine() && c == ' ') {
otrs << "{}";