diff options
Diffstat (limited to 'gnu/xml/validation/datatype/FloatType.java')
-rw-r--r-- | gnu/xml/validation/datatype/FloatType.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/xml/validation/datatype/FloatType.java b/gnu/xml/validation/datatype/FloatType.java index 8dbb4aa56..b9b25b252 100644 --- a/gnu/xml/validation/datatype/FloatType.java +++ b/gnu/xml/validation/datatype/FloatType.java @@ -64,8 +64,8 @@ final class FloatType Facet.MIN_EXCLUSIVE }; - static final Set SPECIAL = - new TreeSet(Arrays.asList(new String[] {"INF", "-INF", "NaN"})); + static final Set<String> SPECIAL = + new TreeSet<String>(Arrays.asList(new String[] {"INF", "-INF", "NaN"})); FloatType() { |