更新 ast.txt