SuccessChanges

Summary

  1. Removed unused nat, nat1 and int1 functions. (commit: 19eb6f8) (details)
Commit 19eb6f86d7c65d71ff5e41ab42dcebc5f3ec90f8 by Victor Bandur
Removed unused nat, nat1 and int1 functions.
(commit: 19eb6f8)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)