From 69d0d5a9dc823ac1ca41f0c7a2b0408a7c506cd1 Mon Sep 17 00:00:00 2001 From: Daniel Fischer Date: Mon, 30 May 2011 08:52:49 +0200 Subject: [PATCH] Fix two typos in flags.xml --- docs/users_guide/flags.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 8d79233..3e70be9 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -828,7 +828,7 @@ - + Enable explicit universal quantification. Implied by , , @@ -2646,7 +2646,7 @@ phase n - Turn off the GHCi sandbox. Means computations are run in teh main thread, rather than a forked thread. + Turn off the GHCi sandbox. Means computations are run in the main thread, rather than a forked thread. dynamic - -- 1.7.10.4