[GitHub] flink pull request #6333: [FLINK-9489] Checkpoint timers as part of managed ...

[sihuazhou]

Github user sihuazhou commented on a diff in the pull request:

    https://github.com/apache/flink/pull/6333#discussion_r202517247
  
    --- Diff: 
flink-runtime/src/main/java/org/apache/flink/runtime/state/heap/CachingInternalPriorityQueueSet.java
 ---
    @@ -305,6 +351,6 @@ private void checkRefillCacheFromStore() {
                 * after usage.
                 */
                @Nonnull
    -           CloseableIterator<E> orderedIterator();
    +           CloseableIterator<E> orderedIterator();;
    --- End diff --
    
    a duplicated `;`


---