fix doc typo

diff --git a/docs/source/Developers_Documentation.rst b/docs/source/Developers_Documentation.rst
index 8b62e3e..8aac1ef 100644 (file)
--- a/docs/source/Developers_Documentation.rst
+++ b/docs/source/Developers_Documentation.rst
@@ -140,7 +140,7 @@ In C:
 Unsorted hints
 --------------
 
-* To test thoroughly test your changes before pushing your commits, use several cmake configurations under sub-trees of ``build/`` (that is ignored by git) as
+* To thoroughly test your changes before pushing your commits, use several cmake configurations under sub-trees of ``build/`` (that is ignored by git) as
   explained in :ref:`install_cmake_outsrc`. For example, I have the following directories: build/clang build/full build/mc (but YMMV).
 
 * If you break the logs, you want to define XBT_LOG_MAYDAY at the beginning of log.h. It deactivates the whole logging mechanism, switching to printfs instead.