--- a/src/ccodegen.h	Tue Aug 23 17:24:58 2016 +0200
+++ b/src/ccodegen.h	Tue Aug 23 17:31:15 2016 +0200
@@ -31,7 +31,6 @@
 #define	CCODEGEN_H
 
 #include "codegens.h"
-#include <stddef.h>
 
 #ifdef	__cplusplus
 extern "C" {