diff --git a/submodules/semmc b/submodules/semmc
index 503523b2..cb33b763 160000
--- a/submodules/semmc
+++ b/submodules/semmc
@@ -1 +1 @@
-Subproject commit 503523b20d54330c1029e5f75d9c161870f56df2
+Subproject commit cb33b7633c78fadb7e31bcffbc6a2c97739f888f