Update caravel
diff --git a/caravel b/caravel
index 0f16ba8..c294344 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit 0f16ba8eaae841a6f122fc0d5837005d3312fd2b
+Subproject commit c2943440e278814787f761585b99b9ea3c1f4121