SuccessChanges

Summary

  1. Fix the type definitions for pre and post conditions, fixes #740 (details)
Commit e5b2e9f44de2909f4dfcdcb16b8c5c6bd60b1c0b by nick.battle
Fix the type definitions for pre and post conditions, fixes #740
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExplicitFunctionDefinitionAssistantTC.java (diff)