diff --git a/LEDA/dont_submit b/LEDA/dont_submit
deleted file mode 100644
index 8614b6090c3..00000000000
--- a/LEDA/dont_submit
+++ /dev/null
@@ -1,3 +0,0 @@
-include/CGAL/leda_in_CGAL_2.h
-include/CGAL/rat_leda_in_CGAL_2.h
-test