Remove an unnecessary @SuppressWarnings

aditya3434 · Jun 4, 2020 · 4ecaa4c · 4ecaa4c
1 parent 0fc2d62
commit 4ecaa4c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/framework/src/main/java/org/checkerframework/framework/util/TypeArgumentMapper.java b/framework/src/main/java/org/checkerframework/framework/util/TypeArgumentMapper.java
@@ -258,7 +258,6 @@ private static void addToSetMap(
      * @return a list of type records that represents the sequence of directSupertypes between
      *     subtype and target
      */
-    @SuppressWarnings("JdkObsolete") // I tried replacing Stack with ArrayDeque, but tests fail.
     private static List<TypeRecord> depthFirstSearchForSupertype(
             final TypeElement subtype, final TypeElement target, final Types types) {
         ArrayDeque<TypeRecord> pathFromRoot = new ArrayDeque<>();