Skip to content

Commit

Permalink
fix GC documentation - space overhead defaults to 120 since best-fit …
Browse files Browse the repository at this point in the history
…is default
  • Loading branch information
hannesm committed Dec 11, 2023
1 parent 356020a commit 5e918a5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/mirage/mirage_key.ml
Original file line number Diff line number Diff line change
Expand Up @@ -205,7 +205,7 @@ let space_overhead =
let doc =
"The percentage of live data of wasted memory, due to GC does not \
immediately collect unreachable blocks. The major GC speed is computed \
from this parameter, it will work more if smaller. Default: 80."
from this parameter, it will work more if smaller. Default: 120."
in
let doc =
Arg.info ~docs:ocaml_section ~docv:"SPACE OVERHEAD" ~doc
Expand Down

0 comments on commit 5e918a5

Please sign in to comment.