1 files changed, 0 insertions, 34 deletions
diff --git a/scripts/update-cabal-common-section-instantiations.awk b/scripts/update-cabal-common-section-instantiations.awk
deleted file mode 100644
index 0bfacae..0000000
--- a/scripts/update-cabal-common-section-instantiations.awk
+++ /dev/null
@@ -1,34 +0,0 @@
-BEGIN {
-        delete sections;
-        section="";
-        ignoring=0;
-}
-
-/^[[:space:]]*$/ {
-        section="";
-        ignoring=0;
-}
-
-{
-        if(section) {
-                tmp = sections[section];
-                sections[section] = tmp (tmp ? RS : "") $0;
-        }
-}
-
-/^[[:space:]]*-- *Common/ {
-        section = $3
-}
-
-/^[[:space:]]*-- *Instantiate *common/ {
-        ignoring=1
-
-        print $0;
-        print sections[$4];
-}
-
-{
-        if(!ignoring) {
-                print $0;
-        }
-}