FailedChanges

Summary

  1. Added union order override warnings, fixes #723 (details)
Commit c30d266e249d96b3e6a920fdf9f08b28032400e4 by nick.battle
Added union order override warnings, fixes #723
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)