diff --git a/repos/magik b/repos/magik
index c0c02781d..761da4194 160000
--- a/repos/magik
+++ b/repos/magik
@@ -1 +1 @@
-Subproject commit c0c02781db67b58eb38d629e9220dcaa322a9211
+Subproject commit 761da4194518c113ef1a0c2acc14a7fb7f12ec99