gcc/ada/gnat1drv.adb · f5a7c656e5ffde112fdcf122bc6b4ca5ed31643e · COBOLworx / gcc-cobol · GitLab

Snippets Groups Projects

4 years ago
f5a7c656
[Ada] Use error marker for messages in GNATprove mode · f5a7c656
Yannick Moy authored 4 years ago
```
gcc/ada/

	* gnat1drv.adb (Adjust_Global_Switches): Force error marker in
	GNATprove mode.
```
f5a7c656

History
[Ada] Use error marker for messages in GNATprove mode
Yannick Moy authored 4 years ago
```
gcc/ada/

	* gnat1drv.adb (Adjust_Global_Switches): Force error marker in
	GNATprove mode.
```