diff --git a/caravel b/caravel
index e88ec8d..c941678 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit e88ec8df5a22f105213712f895444255b638e8a8
+Subproject commit c9416789d63240641b8318c08c4e598229cc3df8