Editorial change: aligning name of main procedure#1349

gusthoff merged 1 commit into

AdaCore:mainAdaCore/learn:mainfrom

gusthoff:content/advanced_ada/review/editorial/numerics/fixed_point_types/20260424gusthoff/ada-learning-material:content/advanced_ada/review/editorial/numerics/fixed_point_types/20260424Copy head branch name to clipboard