Change loop step from 'l' to '1' in pseudo code comment of Bakery.tla#203

lemmy merged 1 commit intotlaplus:mastertlaplus/Examples:masterfrom

josef-widder:patch-2josef-widder/Examples:patch-2Copy head branch name to clipboard