Merge pull request #293 from catap/empty-sorted-set

`TypeSortedSets.emptySet()` should return `SortedSet`
vigna · Mar 31, 2023 · 9361932 · 9361932
2 parents fa8c927 + e9486e7
commit 9361932
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/drv/SortedSets.drv b/drv/SortedSets.drv
@@ -125,7 +125,7 @@ public final class SORTED_SETS {
 	 * @return an empty sorted set (immutable).
 	 */
 	@SuppressWarnings("unchecked")
-	public static KEY_GENERIC SET KEY_GENERIC emptySet() {
+	public static KEY_GENERIC SORTED_SET KEY_GENERIC emptySet() {
 		return EMPTY_SET;
 	}
 #endif