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