diff --git a/caravel b/caravel
index 2536bec..de98d51 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit 2536becb71eae57a9d551296636a659f8a9f0040
+Subproject commit de98d514aa6c642ef020876a64c4cdb2c9ea9a8a