diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index 2ac51f6ceb4152cd9179d34a6f3dadfe9b3a6e57..ec44a502b4a3c7fa7a1851adf648043d3d474208 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -1088,14 +1088,15 @@ test.hs:(5,4)-(6,7): suspicious code. The warnings that are not enabled by are - , - , - , - , - , - , and - , - . + , + , + , + , + , + , + , + and + .