diff --git a/repos/magik b/repos/magik index 034b543b2..c0c02781d 160000 --- a/repos/magik +++ b/repos/magik @@ -1 +1 @@ -Subproject commit 034b543b210f1c115f20a287b7562f742f8038fc +Subproject commit c0c02781db67b58eb38d629e9220dcaa322a9211