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