@@ -276,7 +276,7 @@ runIdeSlaveCommand h id orig fn mods (IdeSlave.Interpret cmd) =
276 do c <- colourise
276 do c <- colourise
277 i <- getIState
277 i <- getIState
278 case parseCmd i "(input)" cmd of
278 case parseCmd i "(input)" cmd of
279− Failure err -> iPrintError $ show (fixColour c err)
279+ Failure err -> iPrintError $ show (fixColour False err)
280 Success (Prove n') ->
280 Success (Prove n') ->
281 idrisCatch
281 idrisCatch
282 (do process fn (Prove n')
282 (do process fn (Prove n')