Mark that we are using a patched version.

diff --git a/src/misc.cpp b/src/misc.cpp
index 449e07cee9b28530b6c1f646be50043c7a905a33..bca4887673ab78e7c67938602853d74769c2e98e 100644 (file)
--- a/src/misc.cpp
+++ b/src/misc.cpp
@@ -133,6 +133,7 @@ const string engine_info(bool to_uci) {
   {
       date >> month >> day >> year;
       ss << setw(2) << day << setw(2) << (1 + months.find(month) / 4) << year.substr(2);
   {
       date >> month >> day >> year;
       ss << setw(2) << day << setw(2) << (1 + months.find(month) / 4) << year.substr(2);

+      ss << "-asn";

   }
 
   ss << (Is64Bit ? " 64" : "")
   }
 
   ss << (Is64Bit ? " 64" : "")