From 421d3b1415a32c638151cc12171c5b1da8047e1e Mon Sep 17 00:00:00 2001 From: Josef Widder <44643235+josef-widder@users.noreply.github.com> Date: Wed, 25 Mar 2026 16:22:57 +0100 Subject: [PATCH] Change loop step from 'l' to '1' in pseudo code comment of Bakery.tla There is a typo (transcription error from the paper). Signed-off-by: Josef Widder --- specifications/Bakery-Boulangerie/Bakery.tla | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/specifications/Bakery-Boulangerie/Bakery.tla b/specifications/Bakery-Boulangerie/Bakery.tla index c8a9f0cd..7f9329e1 100644 --- a/specifications/Bakery-Boulangerie/Bakery.tla +++ b/specifications/Bakery-Boulangerie/Bakery.tla @@ -12,7 +12,7 @@ (* L1: choosing [i] := 1 ; *) (* number[i] := 1 + maximum (number[1],..., number[N]); *) (* choosing[i] := 0; *) -(* for j = 1 step l until N do *) +(* for j = 1 step 1 until N do *) (* begin *) (* L2: if choosing[j] /= 0 then goto L2; *) (* L3: if number[j] /= 0 and (number [j], j) < (number[i],i) *)