diff --git a/src/.depend b/src/.depend
deleted file mode 100644
index e74023636..000000000
--- a/src/.depend
+++ /dev/null
@@ -1,4 +0,0 @@
-DSL.cmo : Expr.cmo
-DSL.cmx : Expr.cmx
-Expr.cmo :
-Expr.cmx :