1 files changed, 0 insertions, 12 deletions
diff --git a/src/lib/Time.rs b/src/lib/Time.rs
deleted file mode 100644
index 70a12a6f..00000000
--- a/src/lib/Time.rs
+++ /dev/null
@@ -1,12 +0,0 @@
-native "rust" mod rustrt {
-    fn get_time(&mutable u32 sec, &mutable u32 usec);
-}
-
-type timeval = rec(u32 sec, u32 usec);
-
-fn get_time() -> timeval {
-    let timeval res = rec(sec=0u32, usec=0u32);
-    rustrt.get_time(res.sec, res.usec);
-    ret res;
-}
-