🚚 refactor: Rename delete_case6 to delete_case5.

Author: make-github-pseudonymous-again

src/deletion/delete_case4.js

@@ -6,7 +6,7 @@ import rotate_left from '../rotate/rotate_left.js';
 import rotate_right from '../rotate/rotate_right.js';
 import sibling from '../family/sibling.js';
 
-import delete_case6 from './delete_case6.js';
+import delete_case5 from './delete_case5.js';
 
 /**
  * Preconditions:
@@ -67,7 +67,7 @@ const delete_case4 = (n) => {
 		rotate_left(s);
 	}
 
-	delete_case6(n);
+	delete_case5(n);
 };
 
 export default delete_case4;

src/deletion/delete_case6.js renamed to src/deletion/delete_case5.js

@@ -18,7 +18,7 @@ import sibling from '../family/sibling.js';
  *
  * @param {Node} n - The input node.
  */
-const delete_case6 = (n) => {
+const delete_case5 = (n) => {
 	assert(n instanceof Node);
 	assert(n._color === BLACK);
 	assert(n.parent !== null);
@@ -61,4 +61,4 @@ const delete_case6 = (n) => {
 	}
 };
 
-export default delete_case6;
+export default delete_case5;

src/index.js

@@ -8,7 +8,7 @@ export {default as delete_case1} from './deletion/delete_case1.js';
 export {default as delete_case2} from './deletion/delete_case2.js';
 export {default as delete_case3} from './deletion/delete_case3.js';
 export {default as delete_case4} from './deletion/delete_case4.js';
-export {default as delete_case6} from './deletion/delete_case6.js';
+export {default as delete_case5} from './deletion/delete_case5.js';
 export {default as delete_no_child} from './deletion/delete_no_child.js';
 export {default as delete_one_child} from './deletion/delete_one_child.js';
 export {default as prune} from './deletion/prune.js';