Bump submodules

GaloisInc · Nov 13, 2020 · 29b3121 · 29b3121
1 parent 0eb89c3
commit 29b3121
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/deps/crucible b/deps/crucible
diff --git a/deps/saw-core-coq b/deps/saw-core-coq
+38 −25		src/Language/Coq/Pretty.hs
+113 −19		src/Verifier/SAW/Translation/Coq/Term.hs