FailedChanges

Summary

  1. Exit detection understands "is not yet specified" (details)
Commit 837029abe50923fc94dbf57b96c58b1ceb43ba93 by nick.battle
Exit detection understands "is not yet specified"
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java (diff)