diff --git a/deps/cryptol b/deps/cryptol
index 9cb3eedfb..8406878f0 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 9cb3eedfb84e349b612ac41075c9a1beffa438ec
+Subproject commit 8406878f026f824beaad4cda909aec86ba28b233