]> gitweb.michael.orlitzky.com - dead/htsn.git/blobdiff - src/Main.hs
Remove redundant "do".
[dead/htsn.git] / 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."