1 files changed, 0 insertions, 13 deletions
diff --git a/pfinet/linux/time.h b/pfinet/linux/time.h
deleted file mode 100644
index 9b6b9904..00000000
--- a/pfinet/linux/time.h
+++ /dev/null
@@ -1,13 +0,0 @@
-#ifndef _HACK_TIME_H_
-#define _HACK_TIME_H_
-
-#include <sys/time.h>
-#include "mapped-time.h"
-
-extern inline void 
-do_gettimeofday (struct timeval *tp)
-{
-  fill_timeval (tp);
-}
-
-#endif