diff --git a/extern/mops b/extern/mops
index 9621fdd0..69192e69 160000
--- a/extern/mops
+++ b/extern/mops
@@ -1 +1 @@
-Subproject commit 9621fdd0d8e49cea05a17d830a4e57fcfbf66b88
+Subproject commit 69192e698a98f110b9211e6c0363ee02928b2bfd