diff options
author | Son Ho | 2023-11-22 11:21:18 +0100 |
---|---|---|
committer | Son Ho | 2023-11-22 11:21:18 +0100 |
commit | 4caed6d6e7c4eb85762da373a2e8ab599cb1b440 (patch) | |
tree | 755cafe566652d6f295a33ab1ba12c5d3f886f5c /compiler | |
parent | 724ff98309444537cf03ba7ccab06d432e2eb376 (diff) |
Make a minor modification
Diffstat (limited to '')
-rw-r--r-- | compiler/ExtractBuiltin.ml | 5 |
1 files changed, 3 insertions, 2 deletions
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 |