diff options
Diffstat (limited to 'gcc/ada/bindo-graphs.ads')
| -rw-r--r-- | gcc/ada/bindo-graphs.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/bindo-graphs.ads b/gcc/ada/bindo-graphs.ads index 3f55027..a5dc6ea 100644 --- a/gcc/ada/bindo-graphs.ads +++ b/gcc/ada/bindo-graphs.ads @@ -573,7 +573,7 @@ package Bindo.Graphs is Elaborate_All_Edge, -- Successor withs Predecessor, and has pragma Elaborate_All for it --- Forced_Edge, + Forced_Edge, -- Successor is forced to with Predecessor by virtue of an existing -- elaboration order provided in a file. |