diff --git a/libraries/doctest/src b/libraries/doctest/src
index 7b98851..1da23a3 160000
--- a/libraries/doctest/src
+++ b/libraries/doctest/src
@@ -1 +1 @@
-Subproject commit 7b9885133108ae301ddd16e2651320f54cafeba7
+Subproject commit 1da23a3e8119ec5cce4f9388e91b065e20bf06f5