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