diff --git a/caravel b/caravel
index ff960da..e7a753e 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit ff960da6e06dd9097e7e1152e90f5998235a7882
+Subproject commit e7a753e5a6fdebe23904233b2b1fbb65a6609084