diff options
Diffstat (limited to 'src/grt/grt-signals.ads')
| -rw-r--r-- | src/grt/grt-signals.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/grt/grt-signals.ads b/src/grt/grt-signals.ads index faaede9b6..f14d74076 100644 --- a/src/grt/grt-signals.ads +++ b/src/grt/grt-signals.ads @@ -282,7 +282,7 @@ package Grt.Signals is -- If set, the signal is dumped in a GHW file. Is_Dumped : Boolean; - -- Set when an event occured. + -- Set when an event occurred. -- Only reset by GHW file dumper. RO_Event : Boolean; |