[Ada] Remove unreferenced GNATprove utility routine Get_Low_Bound
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 27 Feb 2020 16:48:42 +0000 (17:48 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 10 Jun 2020 13:34:56 +0000 (09:34 -0400)
commitbbfd4f21c04a7e41c68e1841fcbd97853a94eb40
tree900f19fdc08b469a298aa533f69f81f554e6d6fe
parent640ef7149ec24b61b0a1dcb642d59cb29c7e9983
[Ada] Remove unreferenced GNATprove utility routine Get_Low_Bound

2020-06-10  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_aux.ads, sem_aux.adb (Get_Low_Bound): Remove.
gcc/ada/sem_aux.adb
gcc/ada/sem_aux.ads