Update partition.hpp