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