Changes
Summary
- Guard against missing module names (commit: 50da1be) (details)
![]() | core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaIdentifierNormaliser.java (diff) |
![]() | core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaIdentifierNormaliser.java (diff) |