Data.Macaw.Memory.ElfLoader: fix overlapping section and program head…

…er error This error is caused by a bug in the IntervalMap implementation prior to 0.6.2, which had inconsistent semantics for empty intervals (see: bokesan/IntervalMap#9) fixes #302
GaloisInc · Jul 18, 2023 · 7cc7787 · 7cc7787
1 parent ea65ce9
commit 7cc7787
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/macaw-base.cabal b/base/macaw-base.cabal
@@ -38,7 +38,7 @@ library
     exceptions,
     filepath,
     galois-dwarf >= 0.2.2,
-    IntervalMap >= 0.5,
+    IntervalMap >= 0.6.2.0,
     lens >= 4.7,
     mtl,
     panic,