From ba68c1ab4a7bd7817068d34d44fca38e4c547d90 Mon Sep 17 00:00:00 2001
From: Son HO
Date: Thu, 22 Sep 2022 16:25:47 +0200
Subject: Update src/Translate.ml

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

(limited to 'src')

diff --git a/src/Translate.ml b/src/Translate.ml
index fdd6d05f..25aff2b2 100644
--- a/src/Translate.ml
+++ b/src/Translate.ml
@@ -655,7 +655,7 @@ let translate_module (filename : string) (dest_dir : string) (config : config)
             m.declarations))
   in
 
-  (* Register unique names for all the top-level types, functions and globals.
+  (* Register unique names for all the top-level types, globals and functions.
    * Note that the order in which we generate the names doesn't matter:
    * we just need to generate a mapping from identifier to name, and make
    * sure there are no name clashes. *)
-- 
cgit v1.2.3