SuccessChanges

Summary

  1. Correction to seq comprehensions to use "bind", see #692 (commit: 699e976) (details)
Commit 699e976a474418a6c5e6d910362296e5881bd648 by nick.battle
Correction to seq comprehensions to use "bind", see #692
(commit: 699e976)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/OldNameCollector.java
The file was modifiedcore/codegen/codegen-runtime/.gitignore
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ApplyFinder.java
The file was modifiedcore/codegen/vdm2jml-runtime/.gitignore
The file was modifiedcore/ast/src/main/java/org/overture/ast/factory/AstFactory.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/utilities/expression/ExpressionValueCollector.java
The file was modifiedcore/ast/src/main/resources/overtureII.astv2.tostring
The file was modifiedcore/pog/src/main/java/org/overture/pog/contexts/POForAllContext.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/FreeVariablesChecker.java
The file was modifiedcore/codegen/platform/src/main/java/org/overture/codegen/visitor/ExpVisitorIR.java
The file was modifiedcore/parser/src/main/java/org/overture/parser/syntax/ExpressionReader.java
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
The file was modifiedcore/pog/src/main/java/org/overture/pog/visitors/PogParamExpVisitor.java
The file was modifiedcore/ast/src/main/resources/overtureII.astv2
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ExitTypeCollector.java