Changes
Summary
- Correction to resolution of imported types (commit: 4a78623) (details)
![]() | core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeResolver.java |
![]() | core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeResolver.java |