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