From 5347f7b079677ca4f58e88672d659c5e644bee64 Mon Sep 17 00:00:00 2001 From: Tristan Ravitch Date: Tue, 28 Nov 2017 23:10:58 -0800 Subject: [PATCH] Update the semmc submodule with more semantics --- submodules/semmc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submodules/semmc b/submodules/semmc index 22385804..9acda784 160000 --- a/submodules/semmc +++ b/submodules/semmc @@ -1 +1 @@ -Subproject commit 22385804a58acfc5832465554d9961113b958275 +Subproject commit 9acda78487dd6af918235610d7d1449ce27f6f30