| Index: pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java
|
| diff --git a/pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java b/pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java
|
| index b9ca981982577d01a01b533044ed052bc262e63d..d1dd58d24db17e64c0e4f0f7111bf873c473fb59 100644
|
| --- a/pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java
|
| +++ b/pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java
|
| @@ -89,8 +89,8 @@ public class HoverInformation {
|
| private final String elementDescription;
|
|
|
| /**
|
| - * A human-readable description of the kind of element being referenced (such as "class" or
|
| - * "function type alias"). This data is omitted if there is no referenced element.
|
| + * A human-readable description of the kind of element being referenced (such as “class” or
|
| + * “function type alias”). This data is omitted if there is no referenced element.
|
| */
|
| private final String elementKind;
|
|
|
| @@ -228,8 +228,8 @@ public class HoverInformation {
|
| }
|
|
|
| /**
|
| - * A human-readable description of the kind of element being referenced (such as "class" or
|
| - * "function type alias"). This data is omitted if there is no referenced element.
|
| + * A human-readable description of the kind of element being referenced (such as “class” or
|
| + * “function type alias”). This data is omitted if there is no referenced element.
|
| */
|
| public String getElementKind() {
|
| return elementKind;
|
|
|