diff --git a/repos/magik b/repos/magik
index e03b3da3a..ec5cf5342 160000
--- a/repos/magik
+++ b/repos/magik
@@ -1 +1 @@
-Subproject commit e03b3da3a2bd90dcedef2539c3dc121fad6eafa7
+Subproject commit ec5cf53429bf55ec431ceff2b58e0b907af61d2c