Changes
Summary
- Correction for renamed type resolution (commit: 183e6dc) (details)
![]() | core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeResolver.java (diff) |
![]() | core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeResolver.java (diff) |