minos-mico/minos-1.8.patch

   1 diff -ru minos._original/PortableUtils/src/Trace.cpp minos/PortableUtils/src/Trace.cpp
   2 --- minos._original/PortableUtils/src/Trace.cpp 2006-07-12 18:37:02.000000000 +0200
   3 +++ minos/PortableUtils/src/Trace.cpp   2009-03-25 13:04:28.132308014 +0100
   4 @@ -23,6 +23,7 @@
   5
   6  #include <Trace.h>
   7  #include <stdio.h>
   8 +#include <stdlib.h>
   9  #include <iostream>
  10  #include <fstream>
  11