From 2165855d5e8596c20a8efa5d17040e5a0a47eebe Mon Sep 17 00:00:00 2001
From: Richard Kimberly Heck <rikiheck@lyx.org>
Date: Thu, 27 Feb 2020 14:36:46 -0500
Subject: [PATCH 1/1] Revert unintended change

---
 src/TocBackend.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/TocBackend.h b/src/TocBackend.h
index c6f1d3898c..026f4f879b 100644
--- 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_;
 	///
-- 
2.39.2