mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-27 12:52:52 +03:00
Add a lower version bound on IntervalMap
We are using the new `containing` API that returns a map instead of a list, so we can't use 0.4 anymore.
This commit is contained in:
parent
bfcee99d58
commit
f758db30a6
@ -20,7 +20,7 @@ library
|
||||
-- fingertree,
|
||||
flexdis86 >= 0.1.1,
|
||||
galois-dwarf,
|
||||
IntervalMap,
|
||||
IntervalMap >= 0.5,
|
||||
lens >= 4.7,
|
||||
-- llvm-pretty,
|
||||
mtl,
|
||||
|
Loading…
Reference in New Issue
Block a user