Index: third_party/WebKit/Source/core/dom/Element.h |
diff --git a/third_party/WebKit/Source/core/dom/Element.h b/third_party/WebKit/Source/core/dom/Element.h |
index ba817d44c0dc7afd96da502f0259b986f09530e4..691e608e3d1984fc3180a4d13e0334f9867e2ec5 100644 |
--- a/third_party/WebKit/Source/core/dom/Element.h |
+++ b/third_party/WebKit/Source/core/dom/Element.h |
@@ -453,7 +453,7 @@ public: |
void setPointerCapture(int pointerId, ExceptionState&); |
void releasePointerCapture(int pointerId, ExceptionState&); |
- bool hasPointerCapture(int pointerId); |
+ bool hasPointerCapture(int pointerId) const; |
String textFromChildren(); |