]> gitweb.michael.orlitzky.com - dead/htsn.git/commitdiff
Remove redundant "do".
authorMichael Orlitzky <michael@orlitzky.com>
Thu, 28 Nov 2013 01:15:46 +0000 (20:15 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Thu, 28 Nov 2013 01:15:46 +0000 (20:15 -0500)
src/Main.hs

index 415517f323612e40bd5ef45490f73cb674e9abab..e1cb91abdd0a704a05157622bf47806baa8bd24c 100644 (file)
@@ -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."