diff options
author | David Waern <david.waern@gmail.com> | 2010-11-15 21:13:57 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2010-11-15 21:13:57 +0000 |
commit | ca481d8ccb25f1a912028d1af7e67c6c7905c418 (patch) | |
tree | 2dc82711d3e8b1286b2fdc0686d2e6e590f10c42 /src | |
parent | 5a9b1e08944ea1353b8f5cb7cc8facde0d65a4d2 (diff) |
Remove more ghc < 7 code
Diffstat (limited to 'src')
-rw-r--r-- | src/Main.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Main.hs b/src/Main.hs index fa139706..1c5eb102 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -103,7 +103,6 @@ handleGhcExceptions = hFlush stdout case e of PhaseFailed _ code -> exitWith code - Interrupted -> exitFailure _ -> do print (e :: GhcException) exitFailure |