InsetBox.cpp: remove unnecessary non-ASCII char

- this char made problems when storing the file in Unicode
This commit is contained in:
Uwe Stöhr 2013-05-15 00:03:46 +02:00
parent 76678b66d4
commit a0030713e9

View File

@ -320,7 +320,7 @@ void InsetBox::latex(otexstream & os, OutputParams const & runparams) const
if (from_ascii(width_string) != "-9.99\\columnwidth") {
os << "\\framebox";
if (!params_.inner_box) {
// Special widths, see usrguide §3.5
// Special widths, see usrguide sec. 3.5
// FIXME UNICODE
if (params_.special != "none") {
os << "[" << params_.width.value()