1 files changed, 0 insertions, 6 deletions
diff --git a/src/types.ads b/src/types.ads
index 49eafa9a0..1f650ce81 100644
--- a/src/types.ads
+++ b/src/types.ads
@@ -130,12 +130,6 @@ package Types is
       Offset : Natural;
    end record;
 
-   --  PSL Node.
-   type PSL_Node is new Int32;
-
-   --  PSL NFA
-   type PSL_NFA is new Int32;
-
    --  Indentation.
    --  This is used by all packages that display vhdl code or informations.
    Indentation : constant := 2;