X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=afec9bdccf26e68c0089ac42bdff713f06511b53;hb=ac97c15c33cb5658d2da35fd2a6768a4c0556361;hp=aae0f59de51220b452053452b9037c729a5fdf93;hpb=e17a800817a370fd198831f12cff35122376fa8d;p=ghc-hetmet.git
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index aae0f59..afec9bd 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -2307,6 +2307,12 @@
-
+
+ Suppress the printing of coercions in Core dumps to make them shorter.
+ static
+ -
+
+ Don't output pragma info in dumpsstatic