diff options
Diffstat (limited to 'gnu/xml/validation/datatype/DoubleType.java')
-rw-r--r-- | gnu/xml/validation/datatype/DoubleType.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/xml/validation/datatype/DoubleType.java b/gnu/xml/validation/datatype/DoubleType.java index dfaa7c8cb..c9f479557 100644 --- a/gnu/xml/validation/datatype/DoubleType.java +++ b/gnu/xml/validation/datatype/DoubleType.java @@ -64,8 +64,8 @@ final class DoubleType 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"})); DoubleType() { |