From 1ffc425caae19a74a9cc5b78d6dcad3c40c3fa79 Mon Sep 17 00:00:00 2001 From: Kazu Yamamoto Date: Wed, 19 Mar 2014 22:56:46 +0900 Subject: [PATCH] empty line. --- src/GHCModi.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/GHCModi.hs b/src/GHCModi.hs index 7e3c0a3..8da8dde 100644 --- a/src/GHCModi.hs +++ b/src/GHCModi.hs @@ -41,4 +41,3 @@ loop readLog ls set = do handler err = do errmsgs <- handleErrMsg ls err return (errmsgs, False) -