diff options
| author | Marcin Chrzanowski <marcin.j.chrzanowski@gmail.com> | 2019-10-22 11:57:36 +0200 |
|---|---|---|
| committer | Marcin Chrzanowski <marcin.j.chrzanowski@gmail.com> | 2019-10-22 11:57:36 +0200 |
| commit | c639be9408a6d181425ecf44360f3e64059c5fa8 (patch) | |
| tree | 7d434298acfa4d36fb77a0f295971f478cf80c33 /src | |
| parent | ec6d8c49f327e80025154776326155449c0fc812 (diff) | |
Fix comments in Type
Diffstat (limited to 'src')
| -rw-r--r-- | src/pl/edu/mimuw/cloudatlas/model/Type.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/pl/edu/mimuw/cloudatlas/model/Type.java b/src/pl/edu/mimuw/cloudatlas/model/Type.java index eb1fb7b..986db71 100644 --- a/src/pl/edu/mimuw/cloudatlas/model/Type.java +++ b/src/pl/edu/mimuw/cloudatlas/model/Type.java @@ -48,7 +48,7 @@ public abstract class Type { } /** - * Returns a primary type of this type. + * Returns the primary type of this type. * * @return a primary type */ @@ -57,7 +57,7 @@ public abstract class Type { } /** - * Indicates whether this type can be implicitly "cast" to given one and vice verse. This is introduced to deal with + * Indicates whether this type can be implicitly "cast" to the given one and vice versa. This is introduced to deal with * null values. In practice, two types are compatible either if they are the same or if one them is a special * "null type". * |