From 92d476c9f6d34cf3e621cd256e8ea589fc8460b4 Mon Sep 17 00:00:00 2001
From: Everett Hildenbrandt <hildenb2@illinois.edu>
Date: Wed, 21 Mar 2018 12:40:24 -0600
Subject: [PATCH] kevm: remove unused success and failure utilities

---
 kevm | 2 --
 1 file changed, 2 deletions(-)

diff --git a/kevm b/kevm
index e8618367a1..7b42ae01cd 100755
--- a/kevm
+++ b/kevm
@@ -25,8 +25,6 @@ run_times="$test_logs/runtime"
 progress() { echo "== $@" ; }
 warning()  { echo -e "WARNING:" "$@" >&2 ; }
 die()      { echo -e "FATAL:" "$@" >&2 ; exit 1 ; }
-success()  { echo -e "\e[32m== success: $@\e[0m" ; }
-failure()  { echo -e "\e[31m== failure: $@\e[0m" ; }
 
 pretty_diff() {
     git --no-pager diff --no-index "$@"