diff --git a/src/ambient-context/dune b/src/ambient-context/dune index f2198d5..68e7acf 100644 --- a/src/ambient-context/dune +++ b/src/ambient-context/dune @@ -12,5 +12,4 @@ (select hmap_key_.ml from - (rcontext hmap -> hmap_key_.rcontext.ml) (-> hmap_key_.new.ml)))) diff --git a/src/ambient-context/hmap_key_.rcontext.ml b/src/ambient-context/hmap_key_.rcontext.ml deleted file mode 100644 index 99f136e..0000000 --- a/src/ambient-context/hmap_key_.rcontext.ml +++ /dev/null @@ -1 +0,0 @@ -let key : Hmap.t Thread_local_storage.t = Rcontext.Ambient_hmap.k_hmap