responding to Bug #1582 - not all systems have stdint.h !!!! (what year is this???)

diff --git a/lib/rbtree/misc.h b/lib/rbtree/misc.h
index 4b20e91a9f4dfe3435f22e56cdf713c4d286b89c..dd2e0beea0ead2ac1e7ce82a512e4cef8781a4d5 100755 (executable)
--- a/lib/rbtree/misc.h
+++ b/lib/rbtree/misc.h
@@ -1,6 +1,16 @@
+#ifdef HAVE_CONFIG_H
+#include "config.h"
+#endif
+
 #include<stdio.h>
 #include<stdlib.h>
-#include<stdint.h>
+
+#ifdef HAVE_STDINT_H
+#include <stdint.h>
+#endif
+#ifdef HAVE_INTTYPES_H
+#include <inttypes.h>
+#endif
 
 #ifndef INC_E_MISC_
 #define INC_E_MISC_