diff options
Diffstat (limited to 'translate/grt/grt-types.ads')
| -rw-r--r-- | translate/grt/grt-types.ads | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/translate/grt/grt-types.ads b/translate/grt/grt-types.ads index 6fd0bb6..a132c6a 100644 --- a/translate/grt/grt-types.ads +++ b/translate/grt/grt-types.ads @@ -139,10 +139,6 @@ package Grt.Types is end record; type Ghdl_Location_Ptr is access Ghdl_Location; - -- Identifier for a process. - type Process_Id is new Integer; - Nul_Process_Id : constant Process_Id := 0; - -- Signal index. type Sig_Table_Index is new Integer; |