From 5fcd8f38beddf0f3c4f13169cf67e9c77e4fa173 Mon Sep 17 00:00:00 2001 From: Jan Holesovsky Date: Tue, 14 May 2019 14:02:12 +0200 Subject: [PATCH] Fix build. Change-Id: Ibfe0d09ca156540f5ec535c6a5da5e9cd339b16d (cherry picked from commit b52dd6b14e63ff160524a0f6fe2d3d4e2361d547) --- kit/ChildSession.hpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/kit/ChildSession.hpp b/kit/ChildSession.hpp index cbaaba54b..3e32f311d 100644 --- a/kit/ChildSession.hpp +++ b/kit/ChildSession.hpp @@ -36,6 +36,8 @@ enum class LokEventTargetEnum class DocumentManagerInterface { public: + virtual ~DocumentManagerInterface() {} + /// Reqest loading a document, or a new view, if one exists. virtual bool onLoad(const std::string& sessionId, const std::string& uriAnonym,