diff options
author | David Waern <david.waern@gmail.com> | 2010-11-15 21:35:31 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2010-11-15 21:35:31 +0000 |
commit | efb2c8cc248ac2e06829939d8f3b1f921128bbb7 (patch) | |
tree | 426b1fe81a7cc0c6f22c74f73125c670b5b61bdd | |
parent | 84862235d051b21b1ca40af5da83b3aad918989a (diff) |
Just say "internal error" instead of "internal Haddock or GHC error"
-rw-r--r-- | src/Main.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Main.hs b/src/Main.hs index 995e1aac..c6a5d2c7 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -89,7 +89,7 @@ handleNormalExceptions inner = exitFailure) , Handler (\(ex :: SomeException) -> do - putStrLn ("haddock: internal Haddock or GHC error: " ++ show ex) + putStrLn ("haddock: internal error: " ++ show ex) exitFailure) ] |