Merge pull request #10 from GaloisInc/release_2_1_0

Increase bounds for parameterized-utils release 2.1.0.
GaloisInc · May 11, 2020 · 29c2404 · 29c2404
2 parents 4f76d8e + 4a11ae3
commit 29c2404
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/saw-core-what4.cabal b/saw-core-what4.cabal
@@ -25,7 +25,7 @@ library
     crucible-saw,
     transformers,
     vector,
-    parameterized-utils >= 1.0.8 && < 2.1,
+    parameterized-utils >= 1.0.8 && < 2.2,
     reflection
   hs-source-dirs: src
   exposed-modules: