From 12567f53385e7aac206f14e2bbd5136e38283d51 Mon Sep 17 00:00:00 2001
From: Willem Toorop <willem@nlnetlabs.nl>
Date: Mon, 13 Jul 2015 11:09:56 +0200
Subject: [PATCH] Fix compiling with --enable-debug-sched

---
 src/extension/libmini_event.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/extension/libmini_event.c b/src/extension/libmini_event.c
index 6d67d714..0afa082f 100644
--- a/src/extension/libmini_event.c
+++ b/src/extension/libmini_event.c
@@ -35,6 +35,9 @@
 #include "extension/libmini_event.h"
 #include "context.h"
 #include "util-internal.h"
+#if defined(SCHED_DEBUG) && SCHED_DEBUG
+#include <inttypes.h>
+#endif
 
 static void
 getdns_mini_event_cleanup(getdns_eventloop *loop)