diff options
author | Florian Angeletti <florian.angeletti@inria.fr> | 2022-03-07 15:10:47 +0100 |
---|---|---|
committer | Florian Angeletti <florian.angeletti@inria.fr> | 2022-03-07 15:40:54 +0100 |
commit | 0d1d5e37fa00d09cf9bfa52cbac6e8b6814cd0b8 (patch) | |
tree | 041676ac7cd17e2e5c0e1d5fe959192d2c4979de /utils/local_store.mli | |
parent | 6de1828a94af9173c6abf879e6a9d579de497655 (diff) | |
download | ocaml-0d1d5e37fa00d09cf9bfa52cbac6e8b6814cd0b8.tar.gz |
documentation: broken reference in compiler-libs
Diffstat (limited to 'utils/local_store.mli')
-rw-r--r-- | utils/local_store.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/utils/local_store.mli b/utils/local_store.mli index ebd5069393..3ea05d5889 100644 --- a/utils/local_store.mli +++ b/utils/local_store.mli @@ -23,8 +23,8 @@ (** {1 Creators} *) val s_ref : 'a -> 'a ref -(** Similar to {!val:ref}, except the allocated reference is registered into - the store. *) +(** Similar to {!val:Stdlib.ref}, except the allocated reference is registered + into the store. *) val s_table : ('a -> 'b) -> 'a -> 'b ref (** Used to register hash tables. Those also need to be placed into refs to be |