diff --git a/caravel b/caravel
index 05a73d7..c7f573c 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit 05a73d70b12b1f0ee9e2043f6b46d43e42031bec
+Subproject commit c7f573cf4183c53e8501d7f611c44b8ff3b2c077