Fix backend error being shown by mistake, which was hiding actual result#952

Merged

gusthoff merged 1 commit intoAdaCore:masterfrom rowan-walshe:master

Oct 27, 2023

+30-50

Commits on Oct 27, 2023

Fix backend error being shown by mistake, which was hiding actual result
rowan-walshe
committed