diff options
Diffstat (limited to 'gcc/ada/ghost.ads')
| -rw-r--r-- | gcc/ada/ghost.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/ghost.ads b/gcc/ada/ghost.ads index 3863e50..62c809c 100644 --- a/gcc/ada/ghost.ads +++ b/gcc/ada/ghost.ads @@ -243,7 +243,7 @@ package Ghost is -- WARNING: this is a separate front end pass, care should be taken to keep -- it optimized. - procedure Restore_Ghost_Region (Mode : Ghost_Mode_Type; N : Node_Id); + procedure Restore_Ghost_Region (Config : Ghost_Config_Type); pragma Inline (Restore_Ghost_Region); -- Restore a Ghost region to a previous state described by mode Mode and -- ignored region start node N. This routine must be used in conjunction |