Merge pull request #3430 from steshaw/fix-ide-mode-server-comment
Fix misleading comment about IDE Mode server
commitd386412a24c2b64172a602985cd4294d1b9e21d7
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateFri 16 Sep 2016, 07:48 (10 years ago)
parent73ab238a02fcf4
main/Main.hs+1−1
@@ -60,7 +60,7 @@ runIdris :: [Opt] -> Idris ()
6060runIdris opts = do
6161 runIO setupBundledCC
6262 processShowOptions opts -- Show information then quit.
63− processClientOptions opts -- Be a client to an IDE Mode server.
63+ processClientOptions opts -- Be a client to a REPL server.
6464 processPackageOptions opts -- Work with Idris packages.
6565 idrisMain opts -- Launch REPL or compile mode.
6666