From 7de08cd5d06c4bd4da36e591b5bdb842f909d576 Mon Sep 17 00:00:00 2001
From: "Roland C. Dowdeswell" <elric@imrryr.org>
Date: Wed, 27 Jun 2012 01:58:19 +0100
Subject: [PATCH] hdb.h uses FILE * and so should #include <stdio.h>.

---
 lib/hdb/hdb.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/hdb/hdb.h b/lib/hdb/hdb.h
index a4dd12c0e..f92405dff 100644
--- a/lib/hdb/hdb.h
+++ b/lib/hdb/hdb.h
@@ -36,6 +36,8 @@
 #ifndef __HDB_H__
 #define __HDB_H__
 
+#include <stdio.h>
+
 #include <krb5.h>
 
 #include <hdb_err.h>