FailedChanges

Summary

  1. -  Committing omitted header file. -  Addresses #126. (details)
Commit b81cce8059ce38bfd412584eb2147f7a2da82c9c by Victor Bandur
-  Committing omitted header file. -  Addresses #126.
The file was modifiedc/vdmclib/src/main/VdmSet.h (diff)