diff -r 1ee9b312dc18 -r 007fbadfa7f9 src/types.h
--- a/src/types.h	Sat Jan 11 22:36:31 2014 +0200
+++ b/src/types.h	Mon Jan 13 00:15:38 2014 +0200
@@ -54,6 +54,8 @@
 #ifndef IN_IDE_PARSER
 # define error(...) throw script_error (format (__VA_ARGS__))
 #else
+// kdevelop stuff
+using FILE = void; // blargh
 void error (void, ...);
 #endif