fix charseq anno

kelloggm · Oct 10, 2017 · f49f563 · f49f563
1 parent 34667f2
commit f49f563
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/checker/jdk/index/src/java/lang/CharSequence.java b/checker/jdk/index/src/java/lang/CharSequence.java
@@ -98,7 +98,7 @@ public interface CharSequence {
      *          if <tt>end</tt> is greater than <tt>length()</tt>,
      *          or if <tt>start</tt> is greater than <tt>end</tt>
      */
-    CharSequence subSequence(@IndexOrHigh("this") int start, @IndexOrHigh("this") int end);
+    CharSequence subSequence(@IndexFor("this") int start, @IndexOrHigh("this") int end);
 
     /**
      * Returns a string containing the characters in this sequence in the same