Skip to content
Snippets Groups Projects
Commit c5ce2451 authored by Johannes Kanig's avatar Johannes Kanig Committed by Marc Poulhiès
Browse files

ada: Preserve Warning_Doc_Switch in gnatprove invocation 

When invoked by gnat2why, the Warning_Doc_Switch was unintenionally
reset.

gcc/ada/ChangeLog:

	* gnat1drv.adb: (SPARK_Library_Warning): preserve Warning_Doc_Switch
parent bd1df4e8
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 0 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment