SuccessChanges

Summary

  1. Correction for renamed type resolution (commit: 183e6dc) (details)
Commit 183e6dc02067e64b5410b662aa6621d01727ecca by nick.battle
Correction for renamed type resolution
(commit: 183e6dc)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeResolver.java (diff)