📚 docs: Correctly reference analysis cases.

This was broken since we renamed the cases.

Author: make-github-pseudonymous-again

src/deletion/delete_case1.js

@@ -27,11 +27,11 @@ const delete_case1 = (n) => {
 	assert(s instanceof Node);
 
 	if (s._color === BLACK) {
-		// If n's sibling is BLACK, go to case 3.
+		// If n's sibling is BLACK, go to case 2.
 		delete_case2(n);
 	} else {
 		/**
-		 * Otherwise, prepare for and go to case 4.
+		 * Otherwise, prepare for and go to case 3.
 		 *
 		 *           B                       B
 		 *         /   \                  /     \

src/deletion/delete_case2.js

@@ -47,7 +47,7 @@ const delete_case2 = (n) => {
 		delete_case0(n.parent);
 	}
 
-	// Otherwise, go to case 4.
+	// Otherwise, go to case 3.
 	else delete_case3(n);
 };
 

src/deletion/delete_case3.js

@@ -45,7 +45,7 @@ const delete_case3 = (n) => {
 	 *          -   - -   -              -   - -   -
 	 */
 	if (
-		// The parent color test is always true when coming from case 2
+		// The parent color test is always true when coming from case 1
 		n.parent._color !== BLACK &&
 		(s.left === null || s.left._color === BLACK) &&
 		(s.right === null || s.right._color === BLACK)
@@ -54,7 +54,7 @@ const delete_case3 = (n) => {
 		n.parent._color = BLACK;
 	}
 
-	// Otherwise, go to case 5.
+	// Otherwise, go to case 4.
 	else delete_case4(n);
 };
 

src/deletion/delete_case4.js

@@ -29,7 +29,7 @@ const delete_case4 = (n) => {
 	assert(s.left?._color === RED || s.right?._color === RED);
 
 	// The following statements just force the red n's sibling child to be on
-	// the left of the left of the parent, or right of the right, so case 6
+	// the left of the left of the parent, or right of the right, so case 5
 	// will rotate correctly.
 
 	/**