![[Jenkins]](/jenkins/static/dde5e32c/images/jenkins-header-logo-v2.svg){kind=logo}
Changes
Summary
- Guard against missing module names (commit: 50da1be) (details)
 | core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaIdentifierNormaliser.java (diff) |
Changes | core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaIdentifierNormaliser.java (diff) |