X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=2f1412796e028986b9002a0fb4fef38e8c70d626;hb=065ce67b1b6ba6b8f3646b73c7cadd50a001a9af;hp=5426ad80cf2b28eb70881996b75430073e46a486;hpb=0560e796f1d813582e066a5f2bec2684c71df44d;p=ghc-hetmet.git
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 5426ad8..2f14127 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -493,6 +493,12 @@
dynamic
-
+
+
+ Turn off printing of binding results in GHCi
+ dynamic
+ -
+
@@ -1951,12 +1957,6 @@
dynamic
-
-
-
- Turn off printing of binding results in GHCi
- dynamic
- -
-