SuccessChanges

Summary

  1. Guard against non-existing super headers (commit: c075ad0) (details)
Commit c075ad0a2232c9b7e86022bbd6541835188254c0 by Peter W. V. Tran-Jørgensen
Guard against non-existing super headers
(commit: c075ad0)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)