SuccessChanges

Summary

  1. Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f) (details)
  2. Use re-stated types in definition imports (see #760) (commit: bd2643b) (details)
Commit e5b2e9f44de2909f4dfcdcb16b8c5c6bd60b1c0b by nick.battle
Fix the type definitions for pre and post conditions, fixes #740
(commit: e5b2e9f)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExplicitFunctionDefinitionAssistantTC.java
Commit bd2643ba9d5f6245f6363a199a1ceaf9c8a075c7 by nick.battle
Use re-stated types in definition imports (see #760)
(commit: bd2643b)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ImportDefinitionFinder.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeFinder.java