Commit 6951bc609b5f70d07b752e33c340da334a30df3a

Dimitri Papadopoulos 2023-08-06T14:51:29

Fix typos in contrib/ada.