diff --git a/types b/types
index d5f5308a..3d8dfeae 160000
--- a/types
+++ b/types
@@ -1 +1 @@
-Subproject commit d5f5308af78cb1fc0598399c7262e587234f9943
+Subproject commit 3d8dfeae23f6290961d4194535f1319dd39a6cfa