From 701d0f64e7879fcd4eff7439dcbeeadde63f1630 Mon Sep 17 00:00:00 2001 From: IR0NSIGHT Date: Tue, 12 Mar 2024 11:11:36 +0100 Subject: [PATCH] remove obsolete comment --- src/effekt/benchmark/bounce.effekt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/effekt/benchmark/bounce.effekt b/src/effekt/benchmark/bounce.effekt index f56137d3..c84ce685 100644 --- a/src/effekt/benchmark/bounce.effekt +++ b/src/effekt/benchmark/bounce.effekt @@ -59,7 +59,7 @@ def bounce(ball: Ball): Tuple2[Ball, Boolean] = { def bitAnd(x: Int, y: Int) = mod(x,(y+1)) def withRandom[R]{ program: { Random } => R}: R = { - var seed = 74755; //FIXME is mutable from everywhere, use "withRandom" with block + var seed = 74755; def rand = new Random { def next() = { seed = bitAnd((seed * 1309) + 13849, 65535);