diff --git a/caravel b/caravel
index c294344..42c9cab 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit c2943440e278814787f761585b99b9ea3c1f4121
+Subproject commit 42c9cab06c7fdd94b7eacc12a5c4ff4a60338e74