diff --git a/caravel b/caravel
index 6c9510b5..13f2590e 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit 6c9510b578d9ffb1420d7d2c3a1bc988948f5283
+Subproject commit 13f2590e4b3a74b910dac56a6b757f5a66fd5212