Update manifest
diff --git a/mag/manifest b/mag/manifest
index 7ad05bf..bab8806 100644
--- a/mag/manifest
+++ b/mag/manifest
@@ -1,2 +1,2 @@
-52486fb0ed6d095f410c133fa4c0300bf8445d83  caravel.mag
+0fb69c2825dbd6b9fb1028daf314f386263d0086  caravel.mag
 08dd27da4e7fa8b9757c8ce8c87dc3397f1f0027  .magicrc