diff options
Diffstat (limited to 'src/grt/grt-types.ads')
| -rw-r--r-- | src/grt/grt-types.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/grt/grt-types.ads b/src/grt/grt-types.ads index b4f4555e8..35b8f8e1e 100644 --- a/src/grt/grt-types.ads +++ b/src/grt/grt-types.ads @@ -180,6 +180,9 @@ package Grt.Types is First, Last : Sig_Table_Index; end record; + -- Signal index in Waves.Dump_Table. + type Dump_Table_Index is new Natural; + -- Simple values, used for signals. type Mode_Type is (Mode_B1, Mode_E8, Mode_E32, Mode_I32, Mode_I64, Mode_F64); |