X-Git-Url: https://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FMain.hs;h=e1cb91abdd0a704a05157622bf47806baa8bd24c;hb=c3d8b2a27a41ae8dcf425a94bce7e093964c7616;hp=415517f323612e40bd5ef45490f73cb674e9abab;hpb=64be4aa68a3ec03f318ff93af3ce9566795a993a;p=dead%2Fhtsn.git 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."