From 272cf05739fb95e85d2cabb0dd7600c0f03c7906 Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Thu, 5 Nov 2015 11:15:56 -0800
Subject: i64/32 load fixes, and nice colors in shell

---
 src/wasm-shell.cpp | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src/wasm-shell.cpp')

diff --git a/src/wasm-shell.cpp b/src/wasm-shell.cpp
index 97c9c91ed..f684d5785 100644
--- a/src/wasm-shell.cpp
+++ b/src/wasm-shell.cpp
@@ -157,7 +157,12 @@ int main(int argc, char **argv) {
       Element& curr = *root[i];
       IString id = curr[0]->str();
       if (id == MODULE) break;
-      std::cerr << i << '/' << (root.size()-1) << " CHECKING| " << curr << '\n';
+      Colors::red(std::cerr);
+      std::cerr << i << '/' << (root.size()-1);
+      Colors::green(std::cerr);
+      std::cerr << " CHECKING: ";
+      Colors::normal(std::cerr);
+      std::cerr << curr << '\n';
       Element& invoke = *curr[1];
       assert(invoke[0]->str() == INVOKE);
       IString name = invoke[1]->str();
-- 
cgit v1.2.3