diff --git a/doctave b/doctave
index bbc7fd7..812a31d 160000
--- a/doctave
+++ b/doctave
@@ -1 +1 @@
-Subproject commit bbc7fd7fbcdb2a4cd063bbb34c07296e38ce40c5
+Subproject commit 812a31d86a27287cf6139ca2548edacaa7d17766