From a21f7dcf374556f043312a7699ca41f1b6edc2ae Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <nikolay.krasko@jetbrains.com>
Date: Mon, 3 Jun 2013 18:01:18 +0400
Subject: [PATCH] Fix warning

---
 .../src/org/jetbrains/jet/util/slicedmap/TrackingSlicedMap.java  | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/frontend/src/org/jetbrains/jet/util/slicedmap/TrackingSlicedMap.java b/compiler/frontend/src/org/jetbrains/jet/util/slicedmap/TrackingSlicedMap.java
index b8e0d5b3492..b2675f34abb 100644
--- a/compiler/frontend/src/org/jetbrains/jet/util/slicedmap/TrackingSlicedMap.java
+++ b/compiler/frontend/src/org/jetbrains/jet/util/slicedmap/TrackingSlicedMap.java
@@ -55,6 +55,7 @@ public class TrackingSlicedMap implements MutableSlicedMap {
         return delegate.getKeys(wrapSlice(slice));
     }
 
+    @NotNull
     @Override
     public Iterator<Map.Entry<SlicedMapKey<?, ?>, ?>> iterator() {
         Map<SlicedMapKey<?, ?>, Object> map = Maps.newHashMap();