Changes

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)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/ClassHeaderGenerator.java (diff)