diff --git a/asli b/asli
deleted file mode 100755
index d8dc947d..00000000
--- a/asli
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/bash
-
-cd "$(dirname $0)"
-
-eval `opam env`
-export LD_LIBRARY_PATH="$(opam var z3:lib):$LD_LIBRARY_PATH"
-
-_build/default/bin/asli.exe \
-  prelude.asl ./mra_tools/arch/regs.asl ./mra_tools/types.asl \
-  ./mra_tools/arch/arch.asl ./mra_tools/arch/arch_instrs.asl ./mra_tools/arch/arch_decode.asl \
-  ./mra_tools/support/aes.asl ./mra_tools/support/barriers.asl ./mra_tools/support/debug.asl \
-  ./mra_tools/support/feature.asl ./mra_tools/support/hints.asl ./mra_tools/support/interrupts.asl \
-  ./mra_tools/support/memory.asl ./mra_tools/support/stubs.asl ./mra_tools/support/fetchdecode.asl \
-  ./tests/override.asl ./tests/override.prj "$@"