diff --git a/extern/mops b/extern/mops
index 9621fdd0..3bae5af2 160000
--- a/extern/mops
+++ b/extern/mops
@@ -1 +1 @@
-Subproject commit 9621fdd0d8e49cea05a17d830a4e57fcfbf66b88
+Subproject commit 3bae5af29d514883c57077c5c9c3f809ad997d6f