From 774b3269d6c6b26b13dfdfb9d7b9e788ce6a769f Mon Sep 17 00:00:00 2001 From: Nikolay Krasko Date: Tue, 10 Nov 2015 20:41:28 +0300 Subject: [PATCH] Remove paragraph char - it ruins builds sometimes --- .../src/org/jetbrains/kotlin/resolve/OverridingUtil.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/core/descriptors/src/org/jetbrains/kotlin/resolve/OverridingUtil.java b/core/descriptors/src/org/jetbrains/kotlin/resolve/OverridingUtil.java index 045c0e51f9b..e7d90b84bf8 100644 --- a/core/descriptors/src/org/jetbrains/kotlin/resolve/OverridingUtil.java +++ b/core/descriptors/src/org/jetbrains/kotlin/resolve/OverridingUtil.java @@ -197,7 +197,7 @@ public class OverridingUtil { return bothErrors || typeChecker.equalTypes(typeInSuper, typeInSub); } - // See JLS 8, ยง8.4.4 Generic Methods + // See JLS 8, 8.4.4 Generic Methods // TODO: use TypeSubstitutor instead private static boolean areTypeParametersEquivalent( @NotNull TypeParameterDescriptor superTypeParameter,