diff --git a/Nef_3/dont_submit b/Nef_3/dont_submit
index 0a9bb173bab..a116027f9f7 100644
--- a/Nef_3/dont_submit
+++ b/Nef_3/dont_submit
@@ -1,4 +1,6 @@
 TODO
+include/CGAL/Nef_3/Shell_constructor.h
+include/CGAL/Nef_3/Progress_indicator.h
 Minkowski
 k3tree
 Benchmark