remove optional dep on rcontext

imandra-ai · Oct 5, 2024 · 076f39b · 076f39b
1 parent 956875c
commit 076f39b
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git 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