From 6363940d6cdfa6b7165ee3fe6bd167ae07d8dee8 Mon Sep 17 00:00:00 2001
From: Zanie <contact@zanie.dev>
Date: Tue, 11 Jul 2023 15:27:16 -0500
Subject: [PATCH] Delete stale ASDL update script

---
 scripts/update_asdl.sh | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 scripts/update_asdl.sh

diff --git a/scripts/update_asdl.sh b/scripts/update_asdl.sh
deleted file mode 100755
index 0f1273547..000000000
--- a/scripts/update_asdl.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/bash
-set -e
-
-cd "$(dirname "$(dirname "$0")")"
-
-python compiler/ast/asdl_rs.py -D compiler/ast/src/ast_gen.rs -M vm/src/stdlib/ast/gen.rs compiler/ast/Python.asdl
-rustfmt compiler/ast/src/ast_gen.rs vm/src/stdlib/ast/gen.rs