diff --git a/verification/cbmc/proofs/prepare.py b/verification/cbmc/proofs/prepare.py
deleted file mode 120000
index 34f64ce26..000000000
--- a/verification/cbmc/proofs/prepare.py
+++ /dev/null
@@ -1 +0,0 @@
-../templates/template-for-repository/proofs/prepare.py
\ No newline at end of file