Fixup for ddd3c52

This is a fixup for the commit ddd3c52 Issue: #47
javapathfinder · May 27, 2018 · 5feccf6 · 5feccf6
1 parent d8e5138
commit 5feccf6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/tests/gov/nasa/jpf/util/SparseClusterArrayTest.java b/src/tests/gov/nasa/jpf/util/SparseClusterArrayTest.java
@@ -180,6 +180,7 @@ public void testClone() {
 
     Cloner<Integer> cloner = new Cloner<Integer>() {
       @Override
+      @SuppressWarnings("deprecation")
 	public Integer clone (Integer other) {
         return new Integer(other);
       }