Skip to content

Commit

Permalink
Bump saw-core to include GaloisInc/saw-core#125, for ghc-8.10.
Browse files Browse the repository at this point in the history
  • Loading branch information
Brian Huffman committed Jan 19, 2021
1 parent 910c378 commit 4f991ee
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion dependencies/saw-core
Submodule saw-core updated 1 files
+2 −2 saw-core/src/Verifier/SAW/Name.hs

0 comments on commit 4f991ee

Please sign in to comment.