diff --git a/repos/magik b/repos/magik
index 38356927c..e8135876d 160000
--- a/repos/magik
+++ b/repos/magik
@@ -1 +1 @@
-Subproject commit 38356927c162fceadbc403dfd3e6f21de8085a63
+Subproject commit e8135876d3a74138e753050da9234195ba617a12