/// Version number. If this is left empty, the current date (in the format
/// YYMMDD) is used as a version number.
-const std::string EngineVersion = "2.1";
+const std::string EngineVersion = "";
////
extern void dbg_print_hit_rate();
#define dbg_hit_on(x) { dbg_cnt0++; if (x) dbg_cnt1++; }
+#define dbg_hit_on_c(c, x) { if (c) dbg_hit_on(x) }
#endif // !defined(MISC_H_INCLUDED)