SuccessChanges

Summary

  1. Incorrectly used File.rename(). (commit: a9d5784) (details)
Commit a9d57844440a4edb73c0a30c945c87d10819793d by Victor Bandur
Incorrectly used File.rename().
modified: 
ide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java
(commit: a9d5784)
The file was modifiedide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java (diff)