scorealign-format.patch

   1 --- scorealign/trace.cpp.orig   2013-11-09 08:42:50.000000000 +0100
   2 +++ scorealign/trace.cpp        2013-11-09 13:00:32.157532788 +0100
   3 @@ -20,6 +20,6 @@
   4  #if defined(_DEBUG) && !defined(__linux__)\r
   5      _CrtDbgReport(_CRT_WARN, NULL, NULL, NULL, msg);\r
   6  #else\r
   7 -    printf(msg);\r
   8 +    fputs(msg, stdout);\r
   9  #endif\r
  10  }\r