diff options
Diffstat (limited to 'src/vhdl/vhdl-nodes.ads')
| -rw-r--r-- | src/vhdl/vhdl-nodes.ads | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/vhdl/vhdl-nodes.ads b/src/vhdl/vhdl-nodes.ads index 017e58929..71ede45f0 100644 --- a/src/vhdl/vhdl-nodes.ads +++ b/src/vhdl/vhdl-nodes.ads @@ -3336,9 +3336,6 @@ package Vhdl.Nodes is -- Get/Set_Psl_Boolean (Field1) -- -- Get/Set_Chain (Field2) - -- - -- Get/Set_Label (Field3) - -- Get/Set_Identifier (Alias Field3) -- Iir_Kind_Psl_Assert_Directive (Medium) -- Iir_Kind_Psl_Assume_Directive (Medium) |