From 4664b90d2c53211a22214d0693f0416e5f56c284 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 6 Mar 2024 21:23:05 +0100 Subject: [PATCH] rename cs to buf in fortuna --- rng/fortuna.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rng/fortuna.ml b/rng/fortuna.ml index 80bbd3da..66daf849 100644 --- a/rng/fortuna.ml +++ b/rng/fortuna.ml @@ -119,6 +119,6 @@ let add ~g (source, _) ~pool data = *) let accumulate ~g source = let pool = ref 0 in - `Acc (fun cs -> - add ~g source ~pool:!pool cs ; + `Acc (fun buf -> + add ~g source ~pool:!pool buf ; incr pool)