UnstableChanges

Summary

  1. Guard against missing module names (commit: 50da1be) (details)
Commit 50da1bede0cb5308d4caa79a5778d3648baf939b by Peter W. V. Tran-Jørgensen
Guard against missing module names
(commit: 50da1be)
The file was modifiedcore/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaIdentifierNormaliser.java