| Index: docs/language/dartLangSpec.tex
|
| diff --git a/docs/language/dartLangSpec.tex b/docs/language/dartLangSpec.tex
|
| index 52430cf936d07a5a6540c5a32c32ad3c6fa8874b..1a38afb9c532bd8342b3a94e1717db30890693de 100644
|
| --- a/docs/language/dartLangSpec.tex
|
| +++ b/docs/language/dartLangSpec.tex
|
| @@ -7222,7 +7222,7 @@ the library is not considered a script.
|
| A Dart program will typically be executed by executing a script.
|
| }
|
|
|
| -\LMHASH{}
|
| +\LMHash{}
|
| If a non-script library is provided where a script is expected,
|
| it precludes execution.
|
| As such, it should be reported as a compile-time error,
|
|
|