extra/kover/directory.patch


1
2
3
4
5
6
7
8
9
10

--- directory.cc	2008-11-15 22:59:26.000000000 +0100
+++ directory_patched.cc	2009-06-02 16:13:46.000000000 +0200
@@ -9,6 +9,7 @@
 #include <dirent.h>
 #include <sys/stat.h>
 #include <cstring>
+#include <cstdio>
 
 directory::directory(string current_dir)
 {