# 
# patch "database.hh"
#  from [14ba00bff0d68669687755c58a3b35172333cfe1]
#    to [f8c9b489c3a8f4a48d8244f82dcd9dfa84abaef2]
# 
========================================================================
--- database.hh	14ba00bff0d68669687755c58a3b35172333cfe1
+++ database.hh	f8c9b489c3a8f4a48d8244f82dcd9dfa84abaef2
@@ -12,6 +12,8 @@
 
 #include <stdarg.h>
 
+#include <varargs.h>
+
 #include <vector>
 #include <set>
 #include <map>