From: Michael Orlitzky Date: Thu, 28 Nov 2013 01:15:46 +0000 (-0500) Subject: Remove redundant "do". X-Git-Tag: 0.0.2~46 X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=c3d8b2a27a41ae8dcf425a94bce7e093964c7616;p=dead%2Fhtsn.git Remove redundant "do". --- diff --git a/src/Main.hs b/src/Main.hs index 415517f..e1cb91a 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -56,7 +56,7 @@ recv_line h = do save_document :: Configuration -> String -> IO () -save_document cfg doc = do +save_document cfg doc = case maybe_path of Nothing -> report_error "ERROR: document missing XML_File_ID element."