From 076f39b1be89f2e87e572722a5bff178bfcbdff2 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 4 Oct 2024 21:02:39 -0400
Subject: [PATCH] remove optional dep on rcontext

---
 src/ambient-context/dune                  | 1 -
 src/ambient-context/hmap_key_.rcontext.ml | 1 -
 2 files changed, 2 deletions(-)
 delete mode 100644 src/ambient-context/hmap_key_.rcontext.ml

diff --git a/src/ambient-context/dune b/src/ambient-context/dune
index f2198d56..68e7acf5 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 99f136e6..00000000
--- 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