Delete AST.h~