diff --git a/repos/magik b/repos/magik
index de25947d..1fe8488c 160000
--- a/repos/magik
+++ b/repos/magik
@@ -1 +1 @@
-Subproject commit de25947d9aac772a67566ed3cec7571e4fba9f17
+Subproject commit 1fe8488cafc61afe9d89b1fec7708345c3ff193c