diff --git a/src/plugins/projectexplorer/taskhub.cpp b/src/plugins/projectexplorer/taskhub.cpp
index 048162dc573..aaa926c2a73 100644
--- a/src/plugins/projectexplorer/taskhub.cpp
+++ b/src/plugins/projectexplorer/taskhub.cpp
@@ -55,7 +55,6 @@ public:
     void removedFromEditor();
 private:
     unsigned int m_id;
-    bool m_visible;
 };
 
 void TaskMark::updateLineNumber(int lineNumber)