Skip to content

Commit 56c7413

Browse files
committed
wrong default_inline_threshold
1 parent d3a8745 commit 56c7413

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

utils/clflags.ml

+1-1
Original file line numberDiff line numberDiff line change
@@ -120,7 +120,7 @@ let dump_combine = ref false (* -dcombine *)
120120
let native_code = ref false (* set to true under ocamlopt *)
121121
let o2 = ref false (* -O2 *)
122122
let o3 = ref false (* -O3 *)
123-
let default_inline_threshold = 10.
123+
let default_inline_threshold = 10. /. 8.
124124
let inline_threshold = ref (Float_arg_helper.default default_inline_threshold)
125125
let inlining_stats = ref false
126126
let simplify_rounds = ref 1

0 commit comments

Comments
 (0)