From b0fbe5034b454352549fcd1dfe8bb985e74c01c4 Mon Sep 17 00:00:00 2001
From: Daniel Matichuk <dmatichuk@galois.com>
Date: Tue, 18 Jul 2023 13:16:18 -0700
Subject: [PATCH] Data.Macaw.Memory.ElfLoader: fix overlapping section and
 program header 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: https://github.com/bokesan/IntervalMap/issues/9)

fixes #302
---
 base/macaw-base.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/macaw-base.cabal b/base/macaw-base.cabal
index 6025317d..06554f67 100644
--- 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,