Piotr Trojanek 07019a9929 Accept declare expression in pragma ... (_conditional_quantified_expression): accept declare expression; rename Fixes parsing error that occurred in GNATprove source code. add test.		2024-01-05 08:19:05 +01:00
..
corpus	Accept declare expression in pragma	2024-01-05 08:19:05 +01:00