diff --git a/deps/cryptol-verifier b/deps/cryptol-verifier
index d0cf6acd2a..757cb26264 160000
--- a/deps/cryptol-verifier
+++ b/deps/cryptol-verifier
@@ -1 +1 @@
-Subproject commit d0cf6acd2ac7982f95484500d8a1bf67bb8c1283
+Subproject commit 757cb26264af0876ffa29ee3b292072c9e5c9c4b