X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fusing.xml;h=502c856a09d2a7727e43ff1bfeb01c3080204365;hb=41c6c5d091021a859a7508b47e9fa8a19230b033;hp=a9ad52838e2fe6ebfbcf84149a3226c3ac891eb2;hpb=f8c30102cdc246af5720b3bc8f2211e352edda5f;p=ghc-hetmet.git diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index a9ad528..502c856 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -1154,7 +1154,7 @@ f "2" = 2 the MR can give rise to unexpected behaviour, so it can be helpful to have an explicit warning that it is being applied. - This warning is on by default. + This warning is off by default.