diff --git a/caravel b/caravel
index 11aa3dd..e80f0ac 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit 11aa3dd76bedd31270dc4b00aea8d3ed20a7970c
+Subproject commit e80f0ac8b6f74eeed0c81668728e033adba4fa16