diff --git a/src/plugins/texteditor/textmark.h b/src/plugins/texteditor/textmark.h
index 72712557058..fb000da1a44 100644
--- a/src/plugins/texteditor/textmark.h
+++ b/src/plugins/texteditor/textmark.h
@@ -115,7 +115,7 @@ public:
     void setActions(const QVector<QAction *> &actions); // Takes ownership
     void setActionsProvider(const std::function<QList<QAction *>()> &actionsProvider); // Takes ownership
 
-    bool isLocationMarker() const;;
+    bool isLocationMarker() const;
     void setIsLocationMarker(bool newIsLocationMarker);
 
 protected: