tree 5abe5f9c3fc2a1d77d02540baadaffbae2ddc915
parent cdc0351958b431adb1fe9fa39f6f21c63214d62f
author Nico Huber <nico.h@gmx.de> 1702508523 +0100
committer Nico Huber <nico.h@gmx.de> 1702508939 +0100

Work around gnatprove trouble with >64-bit range type