From 4caed6d6e7c4eb85762da373a2e8ab599cb1b440 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 22 Nov 2023 11:21:18 +0100
Subject: Make a minor modification

---
 compiler/ExtractBuiltin.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'compiler')

diff --git a/compiler/ExtractBuiltin.ml b/compiler/ExtractBuiltin.ml
index 6de47920..30ec7c19 100644
--- a/compiler/ExtractBuiltin.ml
+++ b/compiler/ExtractBuiltin.ml
@@ -306,7 +306,7 @@ let mk_builtin_funs_map () =
          (builtin_funs ()))
   in
   log#ldebug
-    (lazy ("builtin_funs_map:\n" ^ NameMatcherMap.to_string (fun _ -> "") m));
+    (lazy ("builtin_funs_map:\n" ^ NameMatcherMap.to_string (fun _ -> "...") m));
   m
 
 let builtin_funs_map = mk_memoized mk_builtin_funs_map
@@ -563,7 +563,8 @@ let mk_builtin_trait_impls_map () =
   let m = NameMatcherMap.of_list (builtin_trait_impls_info ()) in
   log#ldebug
     (lazy
-      ("builtin_trait_impls_map:\n" ^ NameMatcherMap.to_string (fun _ -> "") m));
+      ("builtin_trait_impls_map:\n"
+      ^ NameMatcherMap.to_string (fun _ -> "...") m));
   m
 
 let builtin_trait_impls_map = mk_memoized mk_builtin_trait_impls_map
-- 
cgit v1.2.3