diff --git a/caravel b/caravel
index f7a4b56..dfa8006 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit f7a4b5655bf857f157491e55202ac7619dec1831
+Subproject commit dfa8006d6e7cdde62a6458ae94b813c069cf82d2