[Ada] Remove non-ASCII character
authorBob Duff <duff@adacore.com>
Wed, 1 Jul 2020 12:40:02 +0000 (08:40 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 16 Oct 2020 07:34:52 +0000 (03:34 -0400)
commit8dfdfd4048e7a67f2ba01e9efc5d83554d6546ba
tree1f6bde1772209f034f1dd7a0769ebfee56eb7a39
parent853f7f8ba8ff3ae7eff0678a5d28273ba951ba1d
[Ada] Remove non-ASCII character

gcc/ada/

* libgnat/a-numeri.ads: Remove the greek letter.
gcc/ada/libgnat/a-numeri.ads