diff --git a/doc/manual/source/working-with-cmake.rst b/doc/manual/source/working-with-cmake.rst
index 57fb63cd6..196336e45 100644
--- a/doc/manual/source/working-with-cmake.rst
+++ b/doc/manual/source/working-with-cmake.rst
@@ -2317,8 +2317,6 @@ values are being used. So we need to check the template.
     #cmakedefine01 HAVE_STDLIB_H
     #cmakedefine01 HAVE_GETENV
     #cmakedefine01 HAVE_SIGNAL_H
-    #cmakedefine   HAVE_PTHREAD_H
-    #cmakedefine   HAVE_RT
 
     /*
     * #cmakedefine turns into:
diff --git a/src/visualizer/model/visual-simulator-impl.cc b/src/visualizer/model/visual-simulator-impl.cc
index 6445c23f1..ab7e7f2cf 100644
--- a/src/visualizer/model/visual-simulator-impl.cc
+++ b/src/visualizer/model/visual-simulator-impl.cc
@@ -17,7 +17,6 @@
  * Author: Gustavo Carneiro <gjcarneiro@gmail.com> <gjc@inescporto.pt>
  */
 #include <Python.h>
-#undef HAVE_PTHREAD_H
 #undef HAVE_SYS_STAT_H
 #include "visual-simulator-impl.h"