Delete pr-final.hpp