From ecc003fd2aace0044e04305acd795441166c19e9 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Tue, 10 Jun 2014 14:25:55 +0100
Subject: Minor color and build tweaks

---
 src/lem_interp/run_interp.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml
index 800be9a5..b199c09b 100644
--- a/src/lem_interp/run_interp.ml
+++ b/src/lem_interp/run_interp.ml
@@ -322,7 +322,7 @@ let run
   in
   let rec loop mode env = function
   | Value (v, _) ->
-      debugf "%s: return %s\n" name (val_to_string v);
+      debugf "%s: %s %s\n" (grey name) (blue "return") (val_to_string v);
       true, mode, env
   | Action (a, s) ->
       let top_exp = top_frame_exp s in
@@ -370,7 +370,7 @@ let run
   | Error(l, e) ->
       debugf "%s: %s: %s\n" (grey (loc_to_string l)) (red "error") e;
       false, mode, env in
-  debugf "%s: evaluate %s\n" (grey name) (Pretty_interp.pp_exp entry);
+  debugf "%s: %s %s\n" (grey name) (blue "evaluate") (Pretty_interp.pp_exp entry);
   let mode = match mode with
   | None -> if eager_eval then Run else Step
   | Some m -> m in
-- 
cgit v1.2.3