diff --git a/typechecker/src/test/resources/examples b/typechecker/src/test/resources/examples
index e8bed42..6fd0757 160000
--- a/typechecker/src/test/resources/examples
+++ b/typechecker/src/test/resources/examples
@@ -1 +1 @@
-Subproject commit e8bed421207921bd1d04f4ed6d7f4b8871704d5a
+Subproject commit 6fd075748e8d4ebee8e5afba619c54970bc79bbf