diff --git a/src/frontends/qt/Menus.cpp b/src/frontends/qt/Menus.cpp index b77164b8a3..cb30e07536 100644 --- a/src/frontends/qt/Menus.cpp +++ b/src/frontends/qt/Menus.cpp @@ -1356,7 +1356,7 @@ void MenuDefinition::expandToc(Buffer const * buf) // In the navigation menu, only add tocs from this document TocBackend const & backend = buf->tocBackend(); TocList const & toc_list = backend.tocs(); - for (pair> const & toc : toc_list) { + for (pair> const & toc : toc_list) { // Handle table of contents later if (toc.first == "tableofcontents" || toc.second->empty()) continue; @@ -1761,7 +1761,7 @@ void MenuDefinition::expandCaptions(Buffer const * buf, bool switchcap) DocumentClass const & dc = buf->params().documentClass(); vector< pair > caps; - for (pair const & il : dc.insetLayouts()) { + for (pair const & il : dc.insetLayouts()) { docstring instype; docstring const type = split(il.first, instype, ':'); if (instype == from_ascii("Caption")) {