From 998464f585b4847650a83292938c49d3c1c03ae0 Mon Sep 17 00:00:00 2001
From: Kazu Yamamoto <kazu@iij.ad.jp>
Date: Fri, 28 Mar 2014 13:44:44 +0900
Subject: [PATCH] the format of hlint options.

---
 src/GHCModi.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/GHCModi.hs b/src/GHCModi.hs
index 912543a..1987237 100644
--- a/src/GHCModi.hs
+++ b/src/GHCModi.hs
@@ -3,7 +3,9 @@
 -- Commands:
 --  check <file>
 --  find <symbol>
---  lint <file> [hlint options]
+--  lint [hlint options] <file>
+--     the format of hlint options is [String] because they may contain
+--     spaces and aslo <file> may contain spaces.
 --
 -- Session separators:
 --   OK -- success