Changed
- Improve error messages for type refinements of non-message types (#383, eng/recordflux/RecordFlux#383)
Fixed
- Generation of uncompilable code in the presence of some Boolean conditions (eng/recordflux/RecordFlux#1365)
- Exception when checking specification in GNAT Studio (eng/recordflux/RecordFlux#1492)