From 65b8ab114c0e8cf6c456586750cfde899c7df233 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Tue, 28 Aug 2018 09:16:04 +0000 Subject: [PATCH] Fixes a bad escape. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit \; caused the following compilation error ! Missing $ inserted. $ l.7845 } I have removed the backslash, and placed the semicolon between a pair of $ to make it render like the one in the grammer-environment. Change-Id: If57e61f61b460d159b6f14d70c9c9f343114cf70 Reviewed-on: https://dart-review.googlesource.com/71760 Commit-Queue: Daniel Hillerström Reviewed-by: Erik Ernst --- docs/language/dartLangSpec.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/language/dartLangSpec.tex b/docs/language/dartLangSpec.tex index 051d9136e73..acd4897fbba 100644 --- a/docs/language/dartLangSpec.tex +++ b/docs/language/dartLangSpec.tex @@ -7840,7 +7840,7 @@ begin with a \{ character. The expression of an expression statement is not allowed to begin with a \{. \commentary{ This means that if some source text could otherwise be parsed as an expression -followed by a \;, then this grammar production does not apply +followed by a {\rm `$;$'}, then this grammar production does not apply when the expression starts with a \{. } \rationale{