diff --git a/tools/merge/a.out b/tools/merge/a.out deleted file mode 100755 index f1cc385572a7a6dcc1c907216a605304ce2ba171..0000000000000000000000000000000000000000 Binary files a/tools/merge/a.out and /dev/null differ