Changes

Summary

1. Correction for renamed type resolution (commit: 183e6dc) (details)

Commit 183e6dc02067e64b5410b662aa6621d01727ecca by nick.battle Correction for renamed type resolution (commit: 183e6dc)
	core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeResolver.java (diff)