diff --git a/core/core-defuns.elc b/core/core-defuns.elc
deleted file mode 100644
index ce4cc5dfa..000000000
Binary files a/core/core-defuns.elc and /dev/null differ