tcr: Update reference to examples

lorenzleutgeb · Oct 23, 2020 · b7b6697 · b7b6697
1 parent 4cf83a5
commit b7b6697
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/typechecker/src/test/resources/examples b/typechecker/src/test/resources/examples