--- 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>