# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1512306875 -3600
# Node ID a72898dde1a0e79e16cbffc1954f137c0c16705f
# Parent  2d3a3d12ec8707e5e4e6e9d3eb9d8c7517db29bb
util.crand: Remove unneeded cast

diff -r 2d3a3d12ec87 -r a72898dde1a0 util-src/crand.c
--- a/util-src/crand.c	Sun Dec 03 14:13:56 2017 +0100
+++ b/util-src/crand.c	Sun Dec 03 14:14:35 2017 +0100
@@ -59,7 +59,7 @@
 #endif
 
 int Lrandom(lua_State *L) {
-	const size_t len = (size_t)luaL_checkinteger(L, 1);
+	const size_t len = luaL_checkinteger(L, 1);
 	void *buf = lua_newuserdata(L, len);
 
 #if defined(WITH_GETRANDOM)