Amend 48d9d01a: remove debug output

diff --git a/src/insets/InsetIndex.cpp b/src/insets/InsetIndex.cpp
index bd38cf506f9c3b1eac91e7a82bb282bb903dd0cd..f40ba031fcca8bf7b88f223e34eecc7f129a3c90 100644 (file)
--- a/src/insets/InsetIndex.cpp
+++ b/src/insets/InsetIndex.cpp
@@ -1723,12 +1723,6 @@ IndexNode* buildIndexTree(vector<IndexEntry>& entries)
        // as children.
        auto* index_root = new IndexNode{{}, {}};
        for (const IndexEntry& entry : entries) {
-               std::cout << "Entry: " << std::endl;
-               std::cout << entry.terms().empty() << std::endl;
-               std::cout << entry.terms().size() << std::endl;
-               for (const docstring& d : entry.terms()) {
-                       std::cout << "\"" << to_utf8(d) << "\"" << std::endl;
-               }
                insertIntoNode(entry, index_root);
        }