From: malc Date: Sat, 23 Feb 2013 11:01:12 +0000 (+0400) Subject: Fix typo X-Git-Tag: v15~23 X-Git-Url: https://repo.or.cz/w/llpp.git/commitdiff_plain/e4df1dd9c5a5192d0767e56992506fffa4686944 Fix typo --- diff --git a/main.ml b/main.ml index d74d771..0592440 100644 --- a/main.ml +++ b/main.ml @@ -6630,7 +6630,7 @@ struct (try Some (open_in_bin !confpath) with exn -> prerr_endline - ("Error opening configuation file `" ^ !confpath ^ "': " ^ + ("Error opening configuration file `" ^ !confpath ^ "': " ^ exntos exn); None ) @@ -6641,7 +6641,7 @@ struct f (do_load get ic) with exn -> prerr_endline - ("Error loading configuation from `" ^ !confpath ^ "': " ^ + ("Error loading configuration from `" ^ !confpath ^ "': " ^ exntos exn); false in