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