diff options
Diffstat (limited to 'xml/dom-impl/src/com/intellij/util/xml/highlighting')
-rw-r--r-- | xml/dom-impl/src/com/intellij/util/xml/highlighting/DomElementAnnotationsManagerImpl.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xml/dom-impl/src/com/intellij/util/xml/highlighting/DomElementAnnotationsManagerImpl.java b/xml/dom-impl/src/com/intellij/util/xml/highlighting/DomElementAnnotationsManagerImpl.java index aec3931e6a45..9acad44ae743 100644 --- a/xml/dom-impl/src/com/intellij/util/xml/highlighting/DomElementAnnotationsManagerImpl.java +++ b/xml/dom-impl/src/com/intellij/util/xml/highlighting/DomElementAnnotationsManagerImpl.java @@ -112,7 +112,7 @@ public class DomElementAnnotationsManagerImpl extends DomElementAnnotationsManag myProject = project; final ProfileChangeAdapter profileChangeAdapter = new ProfileChangeAdapter() { @Override - public void profileActivated(@NotNull Profile oldProfile, Profile profile) { + public void profileActivated(Profile oldProfile, Profile profile) { dropAnnotationsCache(); } |