From 55831863937fba800514eb18653221812ef665b5 Mon Sep 17 00:00:00 2001
From: Juergen Spitzmueller <spitz@lyx.org>
Date: Sun, 18 Dec 2016 13:13:19 +0100
Subject: [PATCH] Thinko

This needs to be a char_type, not char.
---
 src/texstream.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/texstream.cpp b/src/texstream.cpp
index 9f46a87db2..b31cafb0af 100644
--- a/src/texstream.cpp
+++ b/src/texstream.cpp
@@ -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 << "{}";
-- 
2.39.2