Delete syntax.hpp~