Revert unintended change

diff --git a/src/TocBackend.h b/src/TocBackend.h
index c6f1d3898cc0c98dc41680023461a415a0a43f35..026f4f879bf749efe9ec718b1b0f4b397e6a0f88 100644 (file)
--- a/src/TocBackend.h
+++ b/src/TocBackend.h
@@ -149,7 +149,7 @@ private:
        ///
        TocList tocs_;
        ///
-       std::map<std::string, std::shared_ptr<TocBuilder>> builders_;
+    std::map<std::string, std::unique_ptr<TocBuilder>> builders_;
        /// Stores localised outliner names from this buffer and its children
        std::map<std::string, docstring> outliner_names_;
        ///