Refine travis check for duplicate includes

This partially reverts commit c36b720d009f1ab1c3900750e05c1f17412e564d.

1 files changed, 1 insertions, 2 deletions

diff --git a/doc/developer-notes.md b/doc/developer-notes.md
index 980eed44f3..6b5311d3e3 100644
--- a/doc/developer-notes.md
+++ b/doc/developer-notes.md
@@ -569,8 +569,7 @@ Source code organization
   - *Rationale*: Shorter and simpler header files are easier to read, and reduce compile time
 
 - Every `.cpp` and `.h` file should `#include` every header file it directly uses classes, functions or other
-  definitions from, even if those headers are already included indirectly through other headers. One exception
-  is that a `.cpp` file does not need to re-include the includes already included in its corresponding `.h` file.
+  definitions from, even if those headers are already included indirectly through other headers.
 
   - *Rationale*: Excluding headers because they are already indirectly included results in compilation
     failures when those indirect dependencies change. Furthermore, it obscures what the real code