diff --git a/caravel b/caravel
index ed0d9c7..115b8d5 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit ed0d9c7ba8c4c418bff74cac037016db78da7272
+Subproject commit 115b8d5e48a6d01f892012385b64c873f2d9205b