SuccessChanges

Summary

  1. Mechanism works in the IDE plugin, just need to locate the JAR. (commit: 2e025c6) (details)
Commit 2e025c6d50b8120116a669e15446feb6cf0bb435 by Victor Bandur
Mechanism works in the IDE plugin, just need to locate the JAR.
modified: 
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java
(commit: 2e025c6)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java (diff)