diff --git a/src/search/AAA_Mechanical_Changes.md b/src/search/AAA_Mechanical_Changes.md
index 02d36e68d8..290c891e5f 100644
--- a/src/search/AAA_Mechanical_Changes.md
+++ b/src/search/AAA_Mechanical_Changes.md
@@ -55,7 +55,7 @@ search
 ├── ✅ algorithms
 ├── ✅ axioms.cc
 ├── ✅ axioms.h
-├── ❌ cartesian_abstractions
+├── ✅ cartesian_abstractions
 ├── ✅ cmake
 ├── ✅ CMakeLists.txt
 ├── ✅ command_line.cc