From 71c266f9377c4aa29bd7b69e6ed221ce407bc030 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Fri, 8 Oct 2010 23:17:29 -0700 Subject: Fix logging bug. --- src/boot/me/semant.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 1e2d11a4..9eb9339b 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -317,7 +317,7 @@ let should_log cx flag = if flag then match cx.ctxt_sess.Session.sess_log_path with - None -> false + None -> true | Some mask -> let curr = stk_elts_from_bot cx.ctxt_curr_path in let rec permitted ncs strs = -- cgit v1.2.3