Coin-format.patch

   1 --- Coin-3.1.3/src/profiler/SoProfiler.cpp.orig 2010-03-02 14:20:09.000000000 +0100
   2 +++ Coin-3.1.3/src/profiler/SoProfiler.cpp      2014-11-04 20:53:37.368850092 +0100
   3 @@ -552,9 +552,9 @@
   4      // send ansi-console clear screen code
   5      static const char * CLEAR_SEQUENCE = "\033c";
   6      if (profiler::console::onstdout) {
   7 -      fprintf(coin_get_stdout(), CLEAR_SEQUENCE);
   8 +      fputs(CLEAR_SEQUENCE, coin_get_stdout());
   9      } else if (profiler::console::onstderr) {
  10 -      fprintf(coin_get_stderr(), CLEAR_SEQUENCE);
  11 +      fputs(CLEAR_SEQUENCE,coin_get_stderr());
  12      }
  13    }
  14