summaryrefslogtreecommitdiff
path: root/compiler/Translate.ml
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/Translate.ml')
-rw-r--r--compiler/Translate.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Translate.ml b/compiler/Translate.ml
index dbf14e97..0171412b 100644
--- a/compiler/Translate.ml
+++ b/compiler/Translate.ml
@@ -675,7 +675,7 @@ let translate_module (filename : string) (dest_dir : string) (crate : A.crate) :
with End_of_file ->
close_in src;
close_out tgt;
- log#linfo (lazy ("Copied: " ^ tgt_filename))
+ log#linfo (lazy ("Copied: " ^ tgt_filename))
in
(* Extract the file(s) *)