summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
Diffstat (limited to 'compiler')
-rw-r--r--compiler/ExtractBuiltin.ml5
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