-
yoogx authored
simplification to suppress potential runtime errors as spotted by GNATProve GPL 2013 * Updates other packages accordingly
bf56eac5
simplification to suppress potential runtime errors as spotted by GNATProve GPL 2013 * Updates other packages accordingly