diff --git a/caravel b/caravel
index 20308f5..0f58ad0 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit 20308f5d46605cb0e0799a0f26142e729bbaaebe
+Subproject commit 0f58ad0372274a80fdf102638d2d13784850d08b