Fixing a typo in the --help usage screen.
commitf98238c22ed53eaadb2a87ad3a5f42a94585ad2e
authorGabe McArthur <gabemc@crowdflower.com>
dateFri 20 Sep 2013, 22:54 (13 years ago)
parent06c4067
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" ++