diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/users_guide/bugs.xml | 2 |
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 <- getArgs - if null args then return [] else do + if null args then return [] else do ps <- mapM process args mapM print ps</programlisting> |