Enhance output info in Statistics

2023-09-28 01:27:18 +02:00
parent 3b06534327
commit 71704e3547
4 changed files with 33 additions and 20 deletions
--- a/src/Platform/BestResults.cc
+++ b/src/Platform/BestResults.cc
@@ -2,7 +2,6 @@
 #include <fstream>
 #include <iostream>
 #include <sstream>
-#include <set>
 #include "BestResults.h"
 #include "Result.h"
 #include "Colors.h"