From b0ee41064ce76126775077dc34c6b97122d98d50 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Wed, 14 Jul 2010 17:05:17 -0700
Subject: Minimize pointless logging during walk.

---
 src/boot/me/loop.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/boot/me/loop.ml')

diff --git a/src/boot/me/loop.ml b/src/boot/me/loop.ml
index c23c4afd..1fbb8223 100644
--- a/src/boot/me/loop.ml
+++ b/src/boot/me/loop.ml
@@ -148,8 +148,8 @@ let process_crate
     |]
   in
 
-    run_passes cx "loop" path passes (log cx "%s") crate;
-    ()
+    run_passes cx "loop" path passes
+      cx.ctxt_sess.Session.sess_log_loop log crate
 ;;
 
 
-- 
cgit v1.2.3