vault backup: 2025-03-07 12:32:50

2025-03-07 12:32:50 +01:00 · 2025-03-07 12:32:50 +01:00 · 311c27f301
commit 311c27f301
parent 8db8a2dc14
1 changed files with 2 additions and 1 deletions
--- a/Systems/notes/Lezione2.md
+++ b/Systems/notes/Lezione2.md
@ -32,7 +32,8 @@ Initialize Y at ⊥, X at any value (e.g., 0)
 lock(i) :=
 	* FLAG[i] <- up
 	X <- i
-	if Y ≠ ⊥ then FLAG[i] <- down
+	if Y ≠ ⊥ then
+		FLAG[i] <- down
 		wait Y = ⊥
 		goto *
 	else Y <- i