diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2018-05-26 21:26:13 +0200 |
|---|---|---|
| committer | 1138-4EB <1138-4EB@users.noreply.github.com> | 2018-05-26 21:46:12 +0200 |
| commit | 0a4889609312fae3805cb8f9ed2cbcc80192c8f2 (patch) | |
| tree | cb56dc1373c82679c777308946f3d3ff869373e3 /src/grt/grt-signals.ads | |
| parent | f20bc0c2d9148bfb77c6aff1a94821334529a98e (diff) | |
| download | ghdl-0a4889609312fae3805cb8f9ed2cbcc80192c8f2.tar.gz ghdl-0a4889609312fae3805cb8f9ed2cbcc80192c8f2.tar.bz2 ghdl-0a4889609312fae3805cb8f9ed2cbcc80192c8f2.zip | |
fix 'occured' typo
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; |