Remove an unmatched } in core.tex

diff --git a/docs/ext-core/core.tex b/docs/ext-core/core.tex
index 0ee5cde..05af0b3 100644 (file)
--- a/docs/ext-core/core.tex
+++ b/docs/ext-core/core.tex
@@ -56,7 +56,7 @@ to simplify the Core story.
 Support for generating external Core (post-optimization) was originally introduced in
 GHC 5.02.  The definition of external Core in this document reflects the version of
 external Core generated by the HEAD (unstable) branch of GHC as of May 3, 2008 (version 6.9), , using the compiler flag
-@-fext-core@. We expect that GHC 6.10 will be consistent with this definition.}} The definition includes a formal grammar and an informal semantics.
+@-fext-core@. We expect that GHC 6.10 will be consistent with this definition.} The definition includes a formal grammar and an informal semantics.
 An executable typechecker and interpreter (in Haskell), 
 which formally embody the static and dynamic semantics,
 are available separately.