summaryrefslogtreecommitdiff
blob: 1d03e61ae308a4048d1015d9b0568c813c8aa3da (plain)
1
2
3
4
5
6
7
8
9
10
--- 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>