diff --git a/src/include/general.h b/src/include/general.h
index cc7f3503..91b230b1 100644
--- a/src/include/general.h
+++ b/src/include/general.h
@@ -35,7 +35,6 @@
 #include "platform_support.h"
 
 #ifndef DEBUG
-#include <stdio.h>
 #define DEBUG	printf
 #endif