SuccessChanges

Summary

  1. Include identifier state designators in header analysis (commit: 643435f) (details)
Commit 643435fa59b1d09eac2d9fec5fdd07c91698ed77 by Peter W. V. Tran-Jørgensen
Include identifier state designators in header analysis
Closes #98
(commit: 643435f)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)