Fix typo in ada-in-practice/introduction.rst#1184

Merged

gusthoff merged 1 commit intoAdaCore:masterfrom

PaulCapron:patch-1

Feb 14, 2025

Commits on Feb 14, 2025

Fix typo in ada-in-practice/introduction.rst
PaulCapron
authored