Amend 2d56c01dcfaf04744ab6d854af3965919cc07b82

diff --git a/src/insets/InsetIndex.cpp b/src/insets/InsetIndex.cpp
index 7db133aa61a58f58a97806083f17f1e475495185..f494b076954e1bce0f582aa9ddf377b513ab7a4d 100644 (file)
--- a/src/insets/InsetIndex.cpp
+++ b/src/insets/InsetIndex.cpp
@@ -1855,7 +1855,8 @@ docstring InsetPrintIndex::xhtml(XMLStream &, OutputParams const & op) const
 
        // Collect the index entries in a form we can use them.
        vector<IndexEntry> entries;
-       const docstring & indexType = params().getParamOr("type", from_ascii("idx"));
+       const docstring defaultIndexType = from_ascii("idx");
+       const docstring & indexType = params().getParamOr("type", defaultIndexType);
        for (const TocItem& item : *toc) {
                const auto* inset = static_cast<const InsetIndex*>(&(item.dit().inset()));
                if (item.isOutput() && inset && inset->params().index == indexType)