diff --git a/diff.py b/diff.py
deleted file mode 120000
index 646f9ddc..00000000
--- a/diff.py
+++ /dev/null
@@ -1 +0,0 @@
-tools/diff.py
\ No newline at end of file