SuccessChanges

Summary

  1. When method has no parameters, return empty list of parameter types (commit: 604643f) (details)
Commit 604643fc8b033a4a968ce02c4237d3e6b05529ce by Victor Bandur
When method has no parameters, return empty list of parameter types
instead of a null value.
(commit: 604643f)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompatibleMethodCollector.java (diff)