mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-24 08:53:12 +03:00
Merge branch 'fix/intervalmap-bound' into 'master'
Add a version bound on IntervalMap See merge request !2
This commit is contained in:
commit
edcea3eb28
@ -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