Properly pass char to stream (probably fix bug #9632)

diff --git a/src/BufferParams.cpp b/src/BufferParams.cpp
index f42211bd3eab161e033cde85fc96c42077d4f73a..7a641e01127bc20866cdf6ff6338f02d0ce0e6ff 100644 (file)
--- a/src/BufferParams.cpp
+++ b/src/BufferParams.cpp
@@ -1959,7 +1959,7 @@ bool BufferParams::writeLaTeX(otexstream & os, LaTeXFeatures & features,
                                                user_preamble << "'>";
                                        }
                                } else
-                                       user_preamble << u_preamble[n];
+                                       user_preamble.put(c);
                        }
                } else
                        user_preamble << u_preamble;