diff --git a/src/frontends/qt4/GuiDocument.cpp b/src/frontends/qt4/GuiDocument.cpp index 41b08fce7e..b20e16a771 100644 --- a/src/frontends/qt4/GuiDocument.cpp +++ b/src/frontends/qt4/GuiDocument.cpp @@ -2745,10 +2745,7 @@ void GuiDocument::updateEngineType(string const & items, CiteEngineType const & { engine_types_.clear(); - int nn = 0; - for (int n = 0; !token(items, '|', n).empty(); ++n) { - nn += 1; string style = token(items, '|', n); engine_types_.push_back(style); }