SuccessChanges

Summary

  1. Correction to resolution of imported types (commit: 4a78623) (details)
Commit 4a78623dcab00a126191df079b905a942ab227c5 by nick.battle
Correction to resolution of imported types
(commit: 4a78623)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeResolver.java (diff)