--- src/Singular/Minor.h 2010-02-02 08:22:24.000000000 -0500 +++ patches/Minor.h 2011-06-28 13:26:01.000000000 -0400 @@ -2,6 +2,7 @@ #define MINOR_H #include <assert.h> +#include <time.h> #include <iostream> #include <string>
