1 files changed, 0 insertions, 14 deletions
diff --git a/scripts/super_prove.sh b/scripts/super_prove.sh
deleted file mode 100644
index da0a6ec6..00000000
--- a/scripts/super_prove.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/sh
-
-abc_root()
-{
-    cwd="$(pwd)"
-    cd $(dirname "$1")
-    echo $(dirname "$(pwd)")
-    cd "${cwd}"
-}
-
-abc_dir=$(abc_root "$0")
-bin_dir="${abc_dir}"/bin
-
-exec ${bin_dir}/abc -q "/super_prove_aiger $*"