diff --git a/tests/hanoi4.cnf b/tests/hanoi4.cnf
deleted file mode 120000
index efe6bd36..00000000
--- a/tests/hanoi4.cnf
+++ /dev/null
@@ -1 +0,0 @@
-../hanoi/hanoi4.cnf
\ No newline at end of file