summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/bugs.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/bugs.xml b/docs/users_guide/bugs.xml
index 1e948e63cc..cb327757ed 100644
--- a/docs/users_guide/bugs.xml
+++ b/docs/users_guide/bugs.xml
@@ -71,7 +71,7 @@
<programlisting>
main = do args &lt;- getArgs
- if null args then return [] else do
+ if null args then return [] else do
ps &lt;- mapM process args
mapM print ps</programlisting>