diff --git a/extern/mops b/extern/mops
index 9621fdd0..c9940daf 160000
--- a/extern/mops
+++ b/extern/mops
@@ -1 +1 @@
-Subproject commit 9621fdd0d8e49cea05a17d830a4e57fcfbf66b88
+Subproject commit c9940daf733ec66a98792da224d3fd073a11d59f