From f58d3bcea55c06921ad332e6c820b96a5d9d2c37 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 11 Nov 2022 16:09:11 +0100
Subject: Make a minor modification

---
 compiler/Translate.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler')

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) *)
-- 
cgit v1.2.3