diff options
Diffstat (limited to '04-identifiers-names-and-scopes.md')
-rw-r--r-- | 04-identifiers-names-and-scopes.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/04-identifiers-names-and-scopes.md b/04-identifiers-names-and-scopes.md index a102043691..1e74e52b5f 100644 --- a/04-identifiers-names-and-scopes.md +++ b/04-identifiers-names-and-scopes.md @@ -54,8 +54,7 @@ is bound by a definition or declaration, then $x$ refers to the entity introduced by that binding. In that case, the type of $x$ is the type of the referenced entity. -(@) Assume the following two definitions of a objects named -`X` in packages `P` and `Q`. +(@) Assume the following two definitions of a objects named `X` in packages `P` and `Q`. ``` package P { |