diff --git a/axiom-checker b/axiom-checker
deleted file mode 100755
index 94f3168..0000000
Binary files a/axiom-checker and /dev/null differ