diff --git a/srcpkgs/verifast-vfide b/srcpkgs/verifast-vfide
deleted file mode 120000
index 7eed098f84a..00000000000
--- a/srcpkgs/verifast-vfide
+++ /dev/null
@@ -1 +0,0 @@
-verifast
\ No newline at end of file