X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=9c65282dbd276e7c19a002213dec5bd2e0f04365;hb=6e2021202c3eec0c95a9d0b7c355559f2630d380;hp=a993b42c15e03acb89fe2f0541f9f032ad2a94b2;hpb=3e4ee05cb301bd9f10d6a64b610c21c1f890f50b;p=ghc-hetmet.git
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index a993b42..9c65282 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -814,6 +814,13 @@
+
+ warn if there are tabs in the source file
+ dynamic
+
+
+
+
warn when defaulting happens
dynamic