Remove halt-cont function