X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=3e70be999b8efa6280f291188e6def3599766d04;hb=1bf40a4b38180b8b1c1bdaf4919bc327d5b27abe;hp=8d79233bc42739ab7f63eae180bed86f203ba350;hpb=7930635d8540b7d8134c42daf2783afca0adfbd0;p=ghc-hetmet.git
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-