SuccessChanges

Summary

  1. Unintentional commit of work in progress on records. (commit: ec12439) (details)
Commit ec12439a35f4d09622c5bc9da95055ea7f84e82f by Victor Bandur
Unintentional commit of work in progress on records.
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java
(commit: ec12439)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)