1 files changed, 8 insertions, 0 deletions
diff --git a/src/core/utils/CharReader.hpp b/src/core/utils/CharReader.hpp
index 86f09db..1306026 100644
--- a/src/core/utils/CharReader.hpp
+++ b/src/core/utils/CharReader.hpp
@@ -242,6 +242,14 @@ public:
 	 */
 	Buffer(const std::string &str);
 
+#ifndef NDEBUG
+	/**
+	 * Destructor of the Buffer class. Makes sure that all cursors have been
+	 * freed.
+	 */
+	~Buffer();
+#endif
+
 	// No copy
 	Buffer(const Buffer &) = delete;