1 files changed, 0 insertions, 34 deletions
diff --git a/src/lib/rand.rs b/src/lib/rand.rs
deleted file mode 100644
index 06eb2f06..00000000
--- a/src/lib/rand.rs
+++ /dev/null
@@ -1,34 +0,0 @@
-/**
- * Bindings the runtime's random number generator (ISAAC).
- */
-
-native "rust" mod rustrt {
-    type rctx;
-    fn rand_new() -> rctx;
-    fn rand_next(rctx c) -> u32;
-    fn rand_free(rctx c);
-}
-
-type rng = obj { fn next() -> u32; };
-
-fn mk_rng() -> rng {
-    obj rt_rng(rustrt.rctx c) {
-        fn next() -> u32 {
-            ret rustrt.rand_next(c);
-        }
-        drop {
-            rustrt.rand_free(c);
-        }
-    }
-
-    ret rt_rng(rustrt.rand_new());
-}
-
-// Local Variables:
-// mode: rust;
-// fill-column: 78;
-// indent-tabs-mode: nil
-// c-basic-offset: 4
-// buffer-file-coding-system: utf-8-unix
-// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
-// End: