Skip to content

Commit

Permalink
Merge pull request #1265 from felixonmars/patch-4
Browse files Browse the repository at this point in the history
Allow sbv 8.16
  • Loading branch information
robdockins authored Aug 20, 2021
2 parents fe4d5dd + 868ce2c commit 0a87c17
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion cryptol.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -64,7 +64,7 @@ library
parameterized-utils >= 2.0.2,
prettyprinter >= 1.7.0,
process >= 1.2,
sbv >= 8.6 && < 8.16,
sbv >= 8.6 && < 8.17,
simple-smt >= 0.9.7,
stm >= 2.4,
strict,
Expand Down

0 comments on commit 0a87c17

Please sign in to comment.