Update caravel
diff --git a/caravel b/caravel
index e68e07d..cac0a20 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit e68e07d00a87b1748f0b0d932c7f7810a25e8890
+Subproject commit cac0a20d29435a312b4c04862dd66dc286218ebc