Delete syntax.h