From b7b6697444aa3b0243be21182431da5061c0cf1f Mon Sep 17 00:00:00 2001 From: Lorenz Leutgeb Date: Fri, 23 Oct 2020 21:24:02 +0200 Subject: [PATCH] tcr: Update reference to examples --- typechecker/src/test/resources/examples | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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