1 files changed, 0 insertions, 51 deletions
diff --git a/include/symbolic/irix/time.h b/include/symbolic/irix/time.h
deleted file mode 100755
index 6b7a3c1..0000000
--- a/include/symbolic/irix/time.h
+++ /dev/null
@@ -1,51 +0,0 @@
-#ifndef __TIME
-#define __TIME
-
-#define CLOCKS_PER_SEC 1000000
-#ifndef NULL
-#define NULL ((void*)0)
-#endif
-
-#if !defined(_CLOCK_T) && !defined(_CLOCK_T_) && !defined(_CLOCK_T_DEFINED)
-#define _CLOCK_T
-#define _CLOCK_T_
-#define _CLOCK_T_DEFINED
-typedef long clock_t;
-#endif
-
-#if !defined(_TIME_T) && !defined(_TIME_T_) && !defined(_TIME_T_DEFINED)
-#define _TIME_T
-#define _TIME_T_
-#define _TIME_T_DEFINED
-typedef long time_t;
-#endif
-
-#if !defined(_SIZE_T) && !defined(_SIZE_T_) && !defined(_SIZE_T_DEFINED)
-#define _SIZE_T
-#define _SIZE_T_
-#define _SIZE_T_DEFINED
-typedef unsigned long size_t;
-#endif
-
-struct tm {
-	int	tm_sec;
-	int	tm_min;
-	int	tm_hour;
-	int	tm_mday;
-	int	tm_mon;
-	int	tm_year;
-	int	tm_wday;
-	int	tm_yday;
-	int	tm_isdst;
-};
-extern clock_t clock(void);
-extern double difftime(time_t, time_t);
-extern time_t mktime(struct tm *);
-extern time_t time(time_t *);
-extern char *asctime(const struct tm *);
-extern char *ctime(const time_t *);
-extern struct tm *gmtime(const time_t *);
-extern struct tm *localtime(const time_t *);
-extern size_t strftime(char *, size_t, const char *, const struct tm *);
-
-#endif /* __TIME */