From 3405a0d34438c03620bcc7ffddf1c5a2570c85ff Mon Sep 17 00:00:00 2001
From: Rene Milk <rene.milk@uni-muenster.de>
Date: Wed, 1 Dec 2010 16:15:01 +0100
Subject: [PATCH] fix missing include

---
 stuff/misc.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/stuff/misc.hh b/stuff/misc.hh
index 021b2907d..fe5dc3346 100644
--- a/stuff/misc.hh
+++ b/stuff/misc.hh
@@ -74,6 +74,7 @@ const char* pathStuff(const char* path, int depth = 2)
 #endif // NDEBUG
 
 #include <fstream>
+#include <iostream>
 #include <ostream>
 #include <sstream>
 #include <iomanip>
-- 
GitLab