tree 91293e5aaf2bde9f64adaf5bab8ef8f94d58955c
parent b00b3166219e072b759b2d9855ef5e12d0a75552
author Thomas Heijligen <src@posteo.de> 1701252182 +0000
committer Thomas Heijligen <src@posteo.de> 1701252182 +0000

Move SPARK_Mode => Off into body

Signed-off-by: Thomas Heijligen <src@posteo.de>