SuccessChanges

Summary

  1. Correct check of function parameter patterns and arguments, fixes #762 (commit: 656ece8) (details)
Commit 656ece8aa7d9bbcdb9c1c5168169e64f997ee5ad by nick.battle
Correct check of function parameter patterns and arguments, fixes #762
(commit: 656ece8)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/AllDefinitionLocator.java