diff --git a/deps/cryptol b/deps/cryptol
index bd35c9b3b9..d23add7b63 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit bd35c9b3b96f5d21d2608b5229c30eafee729dc5
+Subproject commit d23add7b639c1b91ee3e8fe7824fa58fedfb0370