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