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