Deleted TODO comment in Scoping
Argh, the `git cl upload` was waiting for an `ENTER` press when I
landed CL 56487. This CL just deletes that TODO comment.
Change-Id: I58843d8ae984363ca1b8bacd2f735efa50c9b666
Reviewed-on: https://dart-review.googlesource.com/60249
Reviewed-by: Erik Ernst <eernst@google.com>
diff --git a/docs/language/dartLangSpec.tex b/docs/language/dartLangSpec.tex
index 0fc0ae8..aa78dff 100644
--- a/docs/language/dartLangSpec.tex
+++ b/docs/language/dartLangSpec.tex
@@ -362,14 +362,6 @@
\subsection{Scoping}
\LMLabel{scoping}
-%% TODO(eernst): Perhaps this section is the right place for the following?: We
-%% need to say that `\code{Object}` and a handful of other identifiers in this document
-%% are intended to refer to `the built-in class \code{Object}` etc., such that we don't
-%% have to say such a thing everywhere such names are used. Currently we have about 20
-%% occurrences of `the built-in class ..` and such, so they should be deleted when we
-%% specify the general rule here. It needs to be said that this may be a _violation_
-%% of the current scope rules, or that we assume that programs don't shadow these names.
-
\LMHash{}
A {\em namespace} is a mapping of names denoting declarations to actual declarations.
Let $NS$ be a namespace.