#
#
# patch "sanity.hh"
#  from [400b88cfe22b73c5fecdf10fef41a7fe26c5b69c]
#    to [037af0ecd996222e11371c7a801cae54944809e0]
#
============================================================
--- sanity.hh	400b88cfe22b73c5fecdf10fef41a7fe26c5b69c
+++ sanity.hh	037af0ecd996222e11371c7a801cae54944809e0
@@ -12,6 +12,7 @@
 
 #include <stdexcept>
 #include <ostream>
+#include <cstdio>
 
 #include "boost/current_function.hpp"