remove optional dep on rcontext

This commit is contained in:
Simon Cruanes 2024-10-04 21:02:39 -04:00
parent 956875c3bb
commit 076f39b1be
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 0 additions and 2 deletions

View file

@ -12,5 +12,4 @@
(select (select
hmap_key_.ml hmap_key_.ml
from from
(rcontext hmap -> hmap_key_.rcontext.ml)
(-> hmap_key_.new.ml)))) (-> hmap_key_.new.ml))))

View file

@ -1 +0,0 @@
let key : Hmap.t Thread_local_storage.t = Rcontext.Ambient_hmap.k_hmap