#
#
# patch "base.hh"
#  from [32b62952e1b697f79191de3c0cf74a58f73f0f51]
#    to [6f10b727eb2d3f1e1c8e61223b080595ccef7b76]
# 
# patch "ui.hh"
#  from [13c682946de40aa1900a0b756c86062f95078147]
#    to [2623987665f579dc693dd37483c6a57a6b1bfc93]
#
============================================================
--- base.hh	32b62952e1b697f79191de3c0cf74a58f73f0f51
+++ base.hh	6f10b727eb2d3f1e1c8e61223b080595ccef7b76
@@ -16,7 +16,6 @@
 // Configuration directives
 #include "config.h"
 
-#define NDEBUG
 #define BOOST_DISABLE_THREADS
 #define BOOST_SP_DISABLE_THREADS
 #define BOOST_MULTI_INDEX_DISABLE_SERIALIZATION
============================================================
--- ui.hh	13c682946de40aa1900a0b756c86062f95078147
+++ ui.hh	2623987665f579dc693dd37483c6a57a6b1bfc93
@@ -15,7 +15,7 @@ struct i18n_format;
 // no writing to it directly!
 
 struct i18n_format;
-struct system_path;
+class system_path;
 
 struct ticker
 {