FailedChanges

Summary

  1. Correctly order type-bind generated invariant values, see #692 (details)
Commit 51351ae505504fd4bef82f2c2b0429c7bd876f42 by nick.battle
Correctly order type-bind generated invariant values, see #692
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/type/AllValuesCollector.java (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)