Bump semmc submodule to bring in GaloisInc/semmc#67

This commit is contained in:
Ryan Scott 2021-10-11 10:55:28 -04:00 committed by Ryan Scott
parent 49a6d9d7b8
commit 4fc8a46ed6

2
deps/semmc vendored

@ -1 +1 @@
Subproject commit 838c024dcea39d269bf52d3b7091325b5c4aedcb
Subproject commit 034e28b61afc69c17cd8ae99e374ad5a8329e17d