diff --git a/michelson b/michelson
deleted file mode 100755
index a6fcbec..0000000
Binary files a/michelson and /dev/null differ