Merge pull request #488 from gabemc/master
Fixing a typo in the --help usage screen.
commit9e4a18d5ac4c739a878e56c5baaa3eec6b182356
authorEdwin Brady <edwin.brady@gmail.com>
dateSat 21 Sep 2013, 05:09 (13 years ago)
parent06c4067f98238c
src/Main.hs+1−1
@@ -80,7 +80,7 @@ usagemsg = "Idris version " ++ ver ++ "\n" ++
8080 "Usage: idris [input file] [options]\n" ++
8181 "Options:\n" ++
8282 "\t--quiet Quiet mode (for editors)\n" ++
83− "\t--[no]colour Control REPL colour highlighting" ++
83+ "\t--[no]colour Control REPL colour highlighting\n" ++
8484 "\t--check Type check only\n" ++
8585 "\t-o [file] Specify output filename\n" ++
8686 "\t-i [dir] Add directory to the list of import paths\n" ++