1 files changed, 0 insertions, 7 deletions
diff --git a/contrib/new-theory.awk b/contrib/new-theory.awk
deleted file mode 100755
index 1adbb2f24..000000000
--- a/contrib/new-theory.awk
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/awk -v name=theory_new -f
-#
-
-# Keep non-matching lines unchanged
-!/^OPTIONS_CONFIG_FILES = \\/ {print$0}
-# Add *_options.toml to OPTIONS_CONFIG_FILES
-/^OPTIONS_CONFIG_FILES = \\/{print $0; printf "\t%s_options.toml \\\n", name;}