Skip to content

Commit

Permalink
Update cryptol-verifier submodule. Fixes #580.
Browse files Browse the repository at this point in the history
  • Loading branch information
Brian Huffman committed Nov 5, 2019
1 parent 9fdd5bf commit 495f599
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/cryptol-verifier
Submodule cryptol-verifier updated 1 files
+57 −53 src/Verifier/SAW/CryptolEnv.hs

0 comments on commit 495f599

Please sign in to comment.