Allow building with parameterized-utils=0.7.*

Fixes #161.
GaloisInc · Jul 8, 2024 · e619966 · e619966
1 parent 4bc338f
commit e619966
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/parameterized-utils.cabal b/parameterized-utils.cabal
@@ -52,7 +52,7 @@ library
   import: bldflags
   build-depends: base >= 4.10 && < 5
                , base-orphans   >=0.8.2 && <0.10
-               , th-abstraction >=0.4.2 && <0.7
+               , th-abstraction >=0.4.2 && <0.8
                , constraints    >=0.10 && <0.15
                , containers
                , deepseq