From e1968c00f76f1200aec08702810dcf13c85964b1 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Wed, 29 Sep 2004 00:05:51 +0000
Subject: [PATCH] Catch the right Io exception

---
 src/config.sml | 2 +-
 src/main.sml   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/config.sml b/src/config.sml
index ad3946f..8c66fbc 100644
--- a/src/config.sml
+++ b/src/config.sml
@@ -131,7 +131,7 @@ struct
 	in
 	    read fields
 	    before TextIO.closeIn inf
-	end handle Io => config
+	end handle IO.Io _ => config
 
     fun default () =
 	let
diff --git a/src/main.sml b/src/main.sml
index d9950fa..0df1e44 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -34,6 +34,6 @@ struct
 			    print msg;
 			    print "\n";
 			    OS.Process.failure)
-	     | Io => (print "FATAL ERROR: Io\n";
+	     | IO.Io {name, function, ...} => (print ("FATAL ERROR: Io: " ^ name ^ ": " ^ function ^ "\n");
 			    OS.Process.failure)
 end
\ No newline at end of file
-- 
2.20.1