diff --git a/macaw-aarch32/macaw-aarch32.cabal b/macaw-aarch32/macaw-aarch32.cabal index 0434e46f..2f55cb7e 100644 --- a/macaw-aarch32/macaw-aarch32.cabal +++ b/macaw-aarch32/macaw-aarch32.cabal @@ -30,7 +30,7 @@ library , ansi-wl-pprint , asl-translator , bytestring - , bv-sized + , bv-sized >= 1.0.1 && < 1.1 , cereal , containers , crucible