diff --git a/crypto555/m_clean b/crypto555/m_clean
deleted file mode 100755
index 458bd84..0000000
--- a/crypto555/m_clean
+++ /dev/null
@@ -1 +0,0 @@
-rm *.o ../agents/libcrypto555.a