1 files changed, 0 insertions, 14 deletions
diff --git a/src/librandom/rrandom_finish.c b/src/librandom/rrandom_finish.c
deleted file mode 100644
index c2d4992..0000000
--- a/src/librandom/rrandom_finish.c
+++ /dev/null
@@ -1,14 +0,0 @@
-/* ISC license. */
-
-#include <skalibs/unirandom.h>
-#include <skalibs/rrandom.h>
-
-int rrandom_finish (rrandom *z)
-{
-  rrandom zero = RRANDOM_ZERO ;
-  unsigned int i = z->n ;
-  int e = 1 ;
-  while (i--) e &= unirandom_finish(&z->tries[i].it) ;
-  if (e) *z = zero ;
-  return e ;
-}