From 3fa317207e696020725ffe63d68d037edc561640 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 31 May 2019 15:38:09 +0200
Subject: [PATCH] fix build on stable debian

---
 src/kernel/resource/profile/Profile.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/kernel/resource/profile/Profile.cpp b/src/kernel/resource/profile/Profile.cpp
index 288d618482..482ee82d3c 100644
--- a/src/kernel/resource/profile/Profile.cpp
+++ b/src/kernel/resource/profile/Profile.cpp
@@ -13,6 +13,7 @@
 #include <boost/algorithm/string.hpp>
 #include <fstream>
 #include <ostream>
+#include <sstream>
 #include <unordered_map>
 #include <vector>
 
-- 
2.20.1