util/random.lua
changeset 8244 e7496cff1215
parent 7190 3d2c2f0809ee
child 8246 292f61d9d30a
--- a/util/random.lua	Sat Sep 16 10:16:08 2017 +0100
+++ b/util/random.lua	Sat Sep 16 17:22:51 2017 +0200
@@ -11,9 +11,6 @@
 
 local urandom, urandom_err = io.open("/dev/urandom", "r");
 
-local function seed()
-end
-
 local function bytes(n)
 	return urandom:read(n);
 end
@@ -25,6 +22,5 @@
 end
 
 return {
-	seed = seed;
 	bytes = bytes;
 };