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