From 581a8652cc425b132f35b40423756bf8dced0cb1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ricardo=20Montan=CC=83ana?= <rmontanana@gmail.com>
Date: Wed, 14 Feb 2024 19:06:10 +0100
Subject: [PATCH] Add missing sstream header to BestResults

---
 src/Platform/modules/BestResults.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Platform/modules/BestResults.cc b/src/Platform/modules/BestResults.cc
index 035b45f..e015675 100644
--- a/src/Platform/modules/BestResults.cc
+++ b/src/Platform/modules/BestResults.cc
@@ -2,6 +2,7 @@
 #include <set>
 #include <fstream>
 #include <iostream>
+#include <sstream>
 #include <algorithm>
 #include "BestResults.h"
 #include "Result.h"