@@ -1587,7 +1587,7 @@ idrisMain opts =
1588 when (DefaultTotal `elem` opts) $ do i <- getIState
1588 when (DefaultTotal `elem` opts) $ do i <- getIState
1589 putIState (i { default_total = True })
1589 putIState (i { default_total = True })
1590− setColourise $ not quiet && last (True : opt getColour opts)
1590+ setColourise $ not quiet && last ((not isWindows) : opt getColour opts)