From 2e8948c348177837faa3d2bf70b4ed0abc9d61ad Mon Sep 17 00:00:00 2001
From: Christoph Pohl <christoph.pohl@kit.edu>
Date: Fri, 2 Feb 2024 10:32:19 +0100
Subject: [PATCH] Add missing header

---
 .../ArmarXGuiBase/widgets/cpp-markdown/markdown-tokens.cpp     | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/source/ArmarXGui/libraries/ArmarXGuiBase/widgets/cpp-markdown/markdown-tokens.cpp b/source/ArmarXGui/libraries/ArmarXGuiBase/widgets/cpp-markdown/markdown-tokens.cpp
index b8258350..7e950626 100644
--- a/source/ArmarXGui/libraries/ArmarXGuiBase/widgets/cpp-markdown/markdown-tokens.cpp
+++ b/source/ArmarXGui/libraries/ArmarXGuiBase/widgets/cpp-markdown/markdown-tokens.cpp
@@ -7,12 +7,11 @@
 
 #include "markdown-tokens.h"
 
-
 #include <boost/regex.hpp>
 
 #include <stack>
 #include <set>
-
+#include <sstream>
 
 namespace markdown::token
 {
-- 
GitLab