diff --git a/deps/cryptol b/deps/cryptol
index 1e07843057..36475d1fd9 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 1e078430577fdac1ab90724e8fa28e1abec7a2d5
+Subproject commit 36475d1fd99eca94bb829b859cf2a9e7cfa3668f