diff options
author | Son Ho | 2022-10-28 11:59:49 +0200 |
---|---|---|
committer | Son HO | 2022-10-28 17:41:04 +0200 |
commit | b4e4e6f6776b2af9607438f6e4249b295c784608 (patch) | |
tree | ecfd9c4464c5a38f74d9f35f24b67eaa3f086957 /compiler/Driver.ml | |
parent | 9c7fe7eb0cd3fdda6b64ff4dc9f6b68f631bdb44 (diff) |
Make minor modifications
Diffstat (limited to '')
-rw-r--r-- | compiler/Driver.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Driver.ml b/compiler/Driver.ml index c8a1fef4..bd9396c0 100644 --- a/compiler/Driver.ml +++ b/compiler/Driver.ml @@ -155,7 +155,7 @@ let () = | Ok m -> (* Logging *) main_log#linfo (lazy ("Imported: " ^ filename)); - main_log#ldebug (lazy ("\n" ^ Print.Module.module_to_string m ^ "\n")); + main_log#ldebug (lazy ("\n" ^ Print.Crate.crate_to_string m ^ "\n")); (* Apply the pre-passes *) let m = PrePasses.apply_passes m in |