compile

diff --git a/src/repodata.h b/src/repodata.h
index 16f2e4c321f217bac5365c14daabdb7505cfee64..d113f16f993d5754f0d1a6b39fc422a8b0effaad 100644 (file)
--- a/src/repodata.h
+++ b/src/repodata.h
@@ -13,6 +13,8 @@
 #ifndef SATSOLVER_REPODATA_H
 #define SATSOLVER_REPODATA_H
 
+#include <stdio.h> 
+
 #include "pooltypes.h"
 #include "pool.h"
 #include "dirpool.h"

diff --git a/src/util.h b/src/util.h
index 0b5009abb61c1bb93a04b72f0e57cf6fc66cac80..3d082ab605e27af1fef972214d63f1ac041c3b5d 100644 (file)
--- a/src/util.h
+++ b/src/util.h
@@ -13,7 +13,7 @@
 #ifndef SATSOLVER_UTIL_H
 #define SATSOLVER_UTIL_H
 
-#include <stdio.h>
+#include <stddef.h>
 
 extern void *sat_malloc(size_t);
 extern void *sat_malloc2(size_t, size_t);