diff --git a/src/misc.h b/src/misc.h
index 4e9c0a12..d8b1f9d6 100644
--- a/src/misc.h
+++ b/src/misc.h
@@ -36,13 +36,6 @@ void dbg_hit_on_c(bool c, bool b);
 void dbg_mean_of(int v);
 void dbg_print();
 
-
-namespace Time {
-  typedef int64_t point;
-  inline point now() { return system_time_to_msec(); }
-}
-
-
 template<class Entry, int Size>
 struct HashTable {
   HashTable() : table(Size, Entry()) {}
diff --git a/src/platform.h b/src/platform.h
index 22d3208e..a7e029b0 100644
--- a/src/platform.h
+++ b/src/platform.h
@@ -22,17 +22,4 @@
 
 #include <inttypes.h>
 
-#ifndef _WIN32 // Linux - Unix
-
-#  include <sys/time.h>
-
-inline int64_t system_time_to_msec() {
-  timeval t;
-  gettimeofday(&t, NULL);
-  return t.tv_sec * 1000LL + t.tv_usec / 1000;
-}
-
-#else // Windows and MinGW
-#endif
-
 #endif // #ifndef PLATFORM_H_INCLUDED