Skip to content

Commit

Permalink
Update cryptol-verifier, to get fix for #411.
Browse files Browse the repository at this point in the history
  • Loading branch information
Brian Huffman committed Apr 17, 2019
1 parent 9b1c870 commit 0f85d0b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/cryptol-verifier
Submodule cryptol-verifier updated 3 files
+7 −41 saw/Cryptol.sawcore
+1 −4 src/Verifier/SAW/Cryptol.hs
+0 −1 src/Verifier/SAW/Cryptol/Simpset.hs

0 comments on commit 0f85d0b

Please sign in to comment.