From 60abf6dce6d115b7eb2a70675514491e152f02a1 Mon Sep 17 00:00:00 2001
From: Maximilian Reininghaus <maximilian.reininghaus@tu-dortmund.de>
Date: Sun, 17 Feb 2019 10:29:06 +0100
Subject: [PATCH] removed unused header

---
 Documentation/Examples/cascade_example.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Documentation/Examples/cascade_example.cc b/Documentation/Examples/cascade_example.cc
index 89dc1f68..f9d1e95a 100644
--- a/Documentation/Examples/cascade_example.cc
+++ b/Documentation/Examples/cascade_example.cc
@@ -42,7 +42,6 @@ using boost::typeindex::type_id_with_cvr;
 #include <iostream>
 #include <limits>
 #include <typeinfo>
-#include <set>
 
 using namespace corsika;
 using namespace corsika::process;
-- 
GitLab