diff --git a/caves b/caves
index 1e1a23bc8..13e016bc4 160000
--- a/caves
+++ b/caves
@@ -1 +1 @@
-Subproject commit 1e1a23bc82a71c5326b1cc0a76883ee2a52a7f3f
+Subproject commit 13e016bc42cc33875963086352eecb56be4994e2