From c4894bc4e788fae079b76b824a8d86c167098cc8 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Mon, 12 Aug 2024 00:12:07 +0200
Subject: more more way more urysohn

---
 source/CommandLine.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'source/CommandLine.hs')

diff --git a/source/CommandLine.hs b/source/CommandLine.hs
index 47efe22..711f7f0 100644
--- a/source/CommandLine.hs
+++ b/source/CommandLine.hs
@@ -87,15 +87,16 @@ run = do
                             Text.hPutStrLn stderr tptp
                         Error err tptp task -> do
                             putStr "Error at:"
+
                             Text.putStrLn task
                             Text.putStrLn err
                             Text.putStrLn tptp
                             
                 WithFailList -> liftIO case result of
-                    VerificationSuccess -> putStrLn "Verification successful."
+                    VerificationSuccess -> putStrLn "\ESC[32mVerification successful.\ESC[0m"
                     VerificationFailure [] -> error "Empty verification fail"
                     VerificationFailure fails -> do
-                        putStrLn "Following task couldn't be solved by the ATP: "
+                        putStrLn "\ESC[35mFollowing task couldn't be solved by the ATP: \ESC[0m"
                         traverse_ showFailedTask fails
                         Text.hPutStrLn stderr "Don't give up!"
 
-- 
cgit v1.2.3