diff --git a/klee-1.4.0+20180522.tar.xz b/klee-1.4.0+20180522.tar.xz
deleted file mode 100644
index eed9978..0000000
--- a/klee-1.4.0+20180522.tar.xz
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:397ccfba7f13d4b9b3c03a5c714fad5c9361817486da9b68afcab36c579ab347
-size 591752