[Bug ada/82384] [8 Regression] s-taprop.adb failed to compile for x32

[derodat at adacore dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82384

--- Comment #13 from Pierre-Marie de Rodat <derodat at adacore dot com> ---
Yes, and thank you Eric for checking the fix in. :-)