diff options
author | Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org> | 2019-05-29 16:51:10 +0200 |
---|---|---|
committer | Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org> | 2019-08-27 19:14:56 +0200 |
commit | 90073e96e5e0a6a794ba30da94a27e89b826e351 (patch) | |
tree | d57d189f58166ec18580a0fda9c540e61643d16d /stdlib/gc.ml | |
parent | c0dbbfdd7175f4355771da3ff49c1286aae225d5 (diff) | |
download | ocaml-90073e96e5e0a6a794ba30da94a27e89b826e351.tar.gz |
Memprof tracking of interned data.
Diffstat (limited to 'stdlib/gc.ml')
-rw-r--r-- | stdlib/gc.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml index 28beaf66c5..dfa6443baf 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -124,7 +124,7 @@ module Memprof = type alloc_kind = | Minor | Major - | Serialized + | Unmarshalled type sample_info = { n_samples: int; kind: alloc_kind; tag: int; |