diff options
Diffstat (limited to 'src/vhdl/disp_vhdl.adb')
| -rw-r--r-- | src/vhdl/disp_vhdl.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/vhdl/disp_vhdl.adb b/src/vhdl/disp_vhdl.adb index f239eff1a..b82abe602 100644 --- a/src/vhdl/disp_vhdl.adb +++ b/src/vhdl/disp_vhdl.adb @@ -3157,7 +3157,6 @@ package body Disp_Vhdl is procedure Disp_PSL_NFA (N : PSL.Nodes.NFA) is use PSL.NFAs; - use PSL.Nodes; procedure Disp_State (S : NFA_State) is Str : constant String := Int32'Image (Get_State_Label (S)); |