Skip to content

Commit

Permalink
Merge pull request #582 from GaloisInc/saw-script-issue580
Browse files Browse the repository at this point in the history 
Update cryptol-verifier submodule. Fixes #580.
  • Loading branch information
brianhuffman authored Nov 8, 2019
2 parents 719aeb5 + 495f599 commit 4e2623f
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 4e2623f

Please sign in to comment.