diff --git a/extern/ersem b/extern/ersem
index a2429e2d..8510fbf8 160000
--- a/extern/ersem
+++ b/extern/ersem
@@ -1 +1 @@
-Subproject commit a2429e2dc2ff278152f4251621245ca04494d0d7
+Subproject commit 8510fbf80a4ef8b1f9f827e156531e9e0ce6315b