FailedChanges

Summary

  1. Set module name for min/max parameters, fixes #722 (details)
Commit 92aa7063a551309f7fc3b1a738140dd668ac3588 by nick.battle
Set module name for min/max parameters, fixes #722
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ImplicitDefinitionFinder.java (diff)