diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/semant.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 = |