tree f36d87cea5a572470f29fa60889a82581c3d1c70
parent 22173223f4d561746631bbe7099cd01293533e3f
author Nico Huber <nico.h@gmx.de> 1702508720 +0100
committer Nico Huber <nico.h@gmx.de> 1702508939 +0100

Disable SPARK_Mode for use of 'Address