diff --git a/caravel b/caravel
index 2d915e7..477c17f 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit 2d915e76985448f6932efd9ccd7899381a98c0f4
+Subproject commit 477c17fb986b0d3f7f3581e940095b68bd62422f