Update RepairExtension.cpp