From f771391fd9c0a99e1652209a74c1687c77a7ab35 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Thu, 30 May 2019 10:07:25 +0200 Subject: vhdl: renames disp_vhdl to prints --- src/psl/psl-nodes_priv.ads | 1 + src/psl/psl-types.ads | 1 + 2 files changed, 2 insertions(+) (limited to 'src/psl') diff --git a/src/psl/psl-nodes_priv.ads b/src/psl/psl-nodes_priv.ads index 5c0bf51d0..9927b8bde 100644 --- a/src/psl/psl-nodes_priv.ads +++ b/src/psl/psl-nodes_priv.ads @@ -20,6 +20,7 @@ with Types; use Types; package PSL.Nodes_Priv is -- PSL Node. type PSL_Node is new Int32; + Null_PSL_Node : constant PSL_Node := 0; -- PSL NFA type PSL_NFA is new Int32; diff --git a/src/psl/psl-types.ads b/src/psl/psl-types.ads index e6e3c700a..24a9f9a80 100644 --- a/src/psl/psl-types.ads +++ b/src/psl/psl-types.ads @@ -22,6 +22,7 @@ package PSL.Types is subtype PSL_Node is PSL.Nodes_Priv.PSL_Node; function "=" (L, R : PSL_Node) return Boolean renames PSL.Nodes_Priv."="; + Null_PSL_Node : constant PSL_Node := PSL.Nodes_Priv.Null_PSL_Node; -- PSL NFA subtype PSL_NFA is PSL.Nodes_Priv.PSL_NFA; -- cgit v1.2.3