diff --git a/caravel b/caravel
index 672bdf5..cda6c3c 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit 672bdf5dac80ae9afd9000674077465f3250cf2f
+Subproject commit cda6c3ca1158b495f002bf90860941c3a9af1784