agle · agle · Feb 19, 2026 · Jan 19, 2026 · Jan 19, 2026 · Jan 19, 2026
diff --git a/bincaml.opam b/bincaml.opam
@@ -23,7 +23,6 @@ depends: [
   "containers-data"
   "ppx_deriving"
   "ocamlgraph"
-  "intPQueue"
   "cmdliner"
   "pp_loc"
   "fmt"

diff --git a/dune-project b/dune-project
@@ -35,7 +35,6 @@
   containers-data
   ppx_deriving
   ocamlgraph
-  intPQueue
   cmdliner
   pp_loc
   fmt
@@ -51,4 +50,5 @@
   (qcheck-stm :with-test))
  (tags (program-analysis)))
 
+
 ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/reference/dune-project/index.html
diff --git a/lib/analysis/dune b/lib/analysis/dune
@@ -7,12 +7,13 @@
   intra_analysis
   defuse_bool
   lattice_types
+  ide
+  ide_live
   wrapped_intervals
   known_bits)
  (libraries
   patricia-tree
   loader
-  intPQueue
   lang
   zarith
   fix